Existential Quantification as Incremental SAT
No abstract available.
Related papers
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver TACAS 2021
- Existential Quantification for Variant Ownership ESOP 2009
- Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions CAV 1995
- Asynchronous Multi-core Incremental SAT Solving TACAS 2013
- Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT CAV 2002
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- Real-time Proof Checking for Distributed Incremental SAT Solving TACAS 2026
- Transfinite Iris: resolving an existential dilemma of step-indexed separation logic PLDI 2021