Solving dependency quantified Boolean formulas using quantifier localization (Q2148900): Difference between revisions

@@ Property / describes a project that uses @@
+DepQBF
@@ Property / describes a project that uses: DepQBF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iProver
@@ Property / describes a project that uses: iProver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QESTO
@@ Property / describes a project that uses: QESTO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HQSpre
@@ Property / describes a project that uses: HQSpre / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3128044797
@@ Property / OpenAlex ID: W3128044797 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113863159
@@ Property / Wikidata QID: Q113863159 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04755
@@ Property / arXiv ID: 1905.04755 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+Normal rank
@@ Property / cites work @@
+Thread-parallel integrated test pattern generator utilizing satisfiability analysis
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Efficient SAT-based bounded model checking for software verification
+Normal rank
@@ Property / cites work @@
+Solving QBF with Counterexample Guided Refinement
@@ Property / cites work: Solving QBF with Counterexample Guided Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
+Normal rank
@@ Property / cites work @@
+SAT-Based Synthesis Methods for Safety Specs
@@ Property / cites work: SAT-Based Synthesis Methods for Safety Specs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Preprocessing for DQBF
@@ Property / cites work: Preprocessing for DQBF / rank @@
+Normal rank
@@ Property / cites work @@
+From DQBF to QBF by dependency elimination
@@ Property / cites work: From DQBF to QBF by dependency elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal abstraction for DQBF
@@ Property / cites work: Clausal abstraction for DQBF / rank @@
+Normal rank
@@ Property / cites work @@
+iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
+Normal rank
@@ Property / cites work @@
+DQBDD: an efficient BDD-based DQBF solver
@@ Property / cites work: DQBDD: an efficient BDD-based DQBF solver / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution-style proof system for DQBF
@@ Property / cites work: A resolution-style proof system for DQBF / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier Elimination via Functional Composition
@@ Property / cites work: Quantifier Elimination via Functional Composition / rank @@
+Normal rank
@@ Property / cites work @@
+The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1
+Normal rank
@@ Property / cites work @@
+Skolem functions for DQBF
@@ Property / cites work: Skolem functions for DQBF / rank @@
+Normal rank
@@ Property / cites work @@
+Fast DQBF Refutation
@@ Property / cites work: Fast DQBF Refutation / rank @@
+Normal rank