QBFFam: a tool for generating QBF families from proof complexity (Q2118282): Difference between revisions

@@ Property / cites work @@
+Unified QBF certification and its applications
@@ Property / cites work: Unified QBF certification and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Resolution Systems and Their Proof Complexities
+Normal rank
@@ Property / cites work @@
+Q5715680
@@ Property / cites work: Q5715680 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic QBF Dependencies in Reduction and Expansion
+Normal rank
@@ Property / cites work @@
+A simple proof of QBF hardness
@@ Property / cites work: A simple proof of QBF hardness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4625702
@@ Property / cites work: Q4625702 / rank @@
+Normal rank
@@ Property / cites work @@
+Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
+Normal rank
@@ Property / cites work @@
+Building strategies into QBF proofs
@@ Property / cites work: Building strategies into QBF proofs / rank @@
+Normal rank
@@ Property / cites work @@
+New Resolution-Based QBF Calculi and Their Proof Complexity
+Normal rank
@@ Property / cites work @@
+Q5270089
@@ Property / cites work: Q5270089 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof complexity of QBF symmetry recomputation
@@ Property / cites work: Proof complexity of QBF symmetry recomputation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Testing and Debugging of SAT and QBF Solvers
+Normal rank
@@ Property / cites work @@
+New Results on the Phase Transition for Random Quantified Boolean Formulas
+Normal rank
@@ Property / cites work @@
+Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On Q-Resolution and CDCL QBF Solving
@@ Property / cites work: On Q-Resolution and CDCL QBF Solving / rank @@
+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 @@
+Expansion-based QBF solving versus Q-resolution
@@ Property / cites work: Expansion-based QBF solving versus Q-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs for some symmetric quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Symmetries of quantified Boolean formulas
@@ Property / cites work: Symmetries of quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL
+Normal rank
@@ Property / cites work @@
+On the power of clause-learning SAT solvers as resolution engines
+Normal rank
@@ Property / cites work @@
+The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
+Normal rank
@@ Property / cites work @@
+CAQE and QuAbS: Abstraction Based QBF Solvers
@@ Property / cites work: CAQE and QuAbS: Abstraction Based QBF Solvers / rank @@
+Normal rank