Similar Items: Extracting verified decision procedures: DPLL and Resolution
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- Combining decision procedures for the reals
- Predicate Abstraction via Symbolic Decision Procedures
- Verified Approximation Algorithms
- Finite state verifiers with constant randomness
- Verifying liquidity of recursive Bitcoin contracts