Strategies for Combining Decision Procedures
Abstract elided by the publisher.
Related papers
- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages ICFP 2012
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Simplification by Cooperating Decision Procedures TOPLAS 1979
- Delta-Decision Procedures for Exists-Forall Problems over the Reals CAV 2018
- Decision Procedure for Entailment of Symbolic Heaps with Arrays APLAS 2017
- Conditionally correct superoptimization OOPSLA 2015
- Safety-Constrained Reinforcement Learning for MDPs TACAS 2016
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic PLDI 1997