Boosting Constrained Horn Solving by Unsat Core Learning
Abstract elided by the publisher.
Related papers
- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses SAS 2023
- 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
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Program Verification with Constrained Horn Clauses (Invited Paper) CAV 2022
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Higher-order constrained horn clauses for verification POPL 2018