Scalable algorithms for abduction via enumerative syntax-guided synthesis
type: Item
instance of: scholarly article
title: Scalable algorithms for abduction via enumerative syntax-guided synthesis
DOI: 10.1007/978-3-030-51074-9_9
author: Andrew Reynolds
author: Haniel Barbosa
author: Daniel Larraz
author: Cesare Tinelli
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614511
describes a project that uses: CVC4
describes a project that uses: z3
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 9
OpenAlex ID: W3039989778
cites work: Maximal specification synthesis
cites work: Scaling Enumerative Program Synthesis via Divide and Conquer
cites work: Extending SMT solvers to higher-order logic
cites work: Q5503674
cites work: Compositional shape analysis by means of bi-abduction
cites work: Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
cites work: Automated Inference of Library Specifications for Source-Sink Property Verification
cites work: A generic framework for implicate generation modulo theories
cites work: Ilinva: using abduction to generate loop invariants
cites work: A mathematical introduction to logic.
cites work: Abductive Inference
cites work: Synthesis of Circular Compositional Program Proofs via Abduction
cites work: The Implicit Hitting Set Approach to Solve Combinatorial Optimization Problems with an Application to Multigenome Alignment
cites work: Syntax-guided rewrite rule enumeration for SMT solvers
cites work: Counterexample-guided quantifier instantiation for synthesis in SMT
Recommended article: Abduction from logic programs: Semantics and complexity
Recommended article: An abductive framework for extended logic programming
Recommended article: Complexity results for abductive logic programming
Recommended article: Abductive Logic Programming
Recommended article: Scalable Reasoning by Abstraction Beyond DL-Lite
Recommended article: Q4884102
Recommended article: Q4470542
Recommended article: Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison
Recommended article: Parameterised complexity of abduction in Schaefer's framework
description: scientific article; zbMATH DE number 7614511