Solving Recursion-Free Horn Clauses over LI+UIF
No abstract available.
Related papers
- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling TACAS 2015
- Solving constrained Horn clauses modulo algebraic data types and recursive functions POPL 2022
- Solving Constrained Horn Clauses over Algebraic Data Types VMCAI 2023
- Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types SAS 2025
- Automating Induction for Solving Horn Clauses CAV 2017
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Solving Existentially Quantified Horn Clauses CAV 2013
- Cell Morphing: From Array Programs to Array-Free Horn Clauses SAS 2016