Dependency Schemes for DQBF (Q2818034): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-40970-2_29
+Normal rank
@@ Property / OpenAlex ID @@
+W2482896395
@@ Property / OpenAlex ID: W2482896395 / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
+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 @@
+SAT-Based Synthesis Methods for Safety Specs
@@ Property / cites work: SAT-Based Synthesis Methods for Safety Specs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3566747
@@ Property / cites work: Q3566747 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependency Quantified Horn Formulas: Models and Complexity
+Normal rank
@@ Property / cites work @@
+Bounded Universal Expansion for Preprocessing QBF
@@ Property / cites work: Bounded Universal Expansion for Preprocessing QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Thread-parallel integrated test pattern generator utilizing satisfiability analysis
+Normal rank
@@ Property / cites work @@
+Fast DQBF Refutation
@@ Property / cites work: Fast DQBF Refutation / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Independence and Resolution Paths for Quantified Boolean Formulas
+Normal rank
@@ Property / cites work @@
+Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
+Normal rank
@@ Property / cites work @@
+Integrating Dependency Schemes in Search-Based QBF Solvers
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+Normal rank
@@ Property / cites work @@
+Backdoor sets of quantified Boolean formulas
@@ Property / cites work: Backdoor sets of quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Resolution-Path Dependencies in Linear Time ,
+Normal rank
@@ Property / cites work @@
+Quantifier reordering for QBF
@@ Property / cites work: Quantifier reordering for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of \(\mathcal{Q}\)-resolution with dependency schemes
+Normal rank
@@ Property / cites work @@
+Preprocessing for DQBF
@@ Property / cites work: Preprocessing for DQBF / rank @@
+Normal rank