Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
Abstract elided by the publisher.
Related papers
- On Expansion and Resolution in CEGAR Based QBF Solving CAV 2017
- A proof-theoretic approach to certifying skolemization CPP 2019
- Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing CAV 2020
- Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis CAV 2023
- Property Directed Reachability with Extended Resolution CAV 2025
- Efficient Certified Resolution Proof Checking TACAS 2017
- Multi-Pass Execution of Functional Logic Programs POPL 1994
- Progress in Certifying Hardware Model Checking Results CAV 2021