Proof complexity of symbolic QBF reasoning
From MaRDI portal
Publication:2118330
DOI10.1007/978-3-030-80223-3_28OpenAlexW3184676641MaRDI QIDQ2118330FDOQ2118330
Authors: Stefan Mengel, Friedrich Slivovsky 
Publication date: 22 March 2022
Full work available at URL: https://arxiv.org/abs/2104.02563
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)
Cites Work
- Theory and Applications of Satisfiability Testing
- Graph-Based Algorithms for Boolean Function Manipulation
- Resolution for quantified Boolean formulas
- Unified QBF certification and its applications
- Solving QBF with counterexample guided refinement
- Contributions to the Theory of Practical Quantified Boolean Formula Solving
- Principles and Practice of Constraint Programming – CP 2004
- Expander graphs and their applications
- Branching Programs and Binary Decision Diagrams
- Dependency Learning for QBF
- A self-adaptive multi-engine solver for quantified Boolean formulas
- Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
- QBF Resolution Systems and Their Proof Complexities
- Communication Complexity
- The relative efficiency of propositional proof systems
- Treewidth in Verification: Local vs. Global
- Principles and Practice of Constraint Programming – CP 2004
- Frege Systems for Quantified Boolean Logic
- Non-prenex QBF Solving Using Abstraction
- Title not available (Why is that?)
- Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
- New Resolution-Based QBF Calculi and Their Proof Complexity
- Title not available (Why is that?)
- Lower bound techniques for QBF expansion
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
- QBF as an alternative to Courcelle's theorem
- Shortening QBF proofs with dependency schemes
- Theory and Applications of Satisfiability Testing
- On QBF Proofs and Preprocessing
- QBF Resolution Systems and Their Proof Complexities
- Short proofs in QBF expansion
- Title not available (Why is that?)
Uses Software
This page was built for publication: Proof complexity of symbolic QBF reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118330)
