Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching
Abstract elided by the publisher.
Related papers
- Minimizing Counterexample with Unit Core Extraction and Incremental SAT VMCAI 2005
- Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy PLDI 2026
- Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing CAV 2020
- QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols CAV 2025
- Transforming Quantified Boolean Formulas Using Biclique Covers TACAS 2023
- Understanding and Extending Incremental Determinization for 2QBF CAV 2018
- Proofs in conflict-driven theory combination CPP 2018
- EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination PLDI 2026