The QBF Gallery: behind the scenes (Q286397): Difference between revisions

@@ Property / author @@
-Allen van Gelder
@@ Property / author: Allen van Gelder / rank @@
-Normal rank
@@ Property / author @@
+Allen van Gelder
@@ Property / author: Allen van Gelder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+semprop
@@ Property / describes a project that uses: semprop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quaffle
@@ Property / describes a project that uses: Quaffle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AutoFolio
@@ Property / describes a project that uses: AutoFolio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sQueezeBF
@@ Property / describes a project that uses: sQueezeBF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bloqqer
@@ Property / describes a project that uses: Bloqqer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QBFLIB
@@ Property / describes a project that uses: QBFLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ABC
@@ Property / describes a project that uses: ABC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2194993457
@@ Property / OpenAlex ID: W2194993457 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01045
@@ Property / arXiv ID: 1508.01045 / rank @@
+Normal rank
@@ 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 @@
+Q3620436
@@ Property / cites work: Q3620436 / rank @@
+Normal rank
@@ Property / cites work @@
+On Unification of QBF Resolution-Based Calculi
@@ Property / cites work: On Unification of QBF Resolution-Based Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2954985
@@ Property / cites work: Q2954985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / 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 @@
+Q3457218
@@ Property / cites work: Q3457218 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Reductions Automatically
@@ Property / cites work: Finding Reductions Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
+Normal rank
@@ Property / cites work @@
+sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning
+Normal rank
@@ Property / cites work @@
+Q3624018
@@ Property / cites work: Q3624018 / rank @@
+Normal rank
@@ Property / cites work @@
+Recovering and Utilizing Partial Duality in QBF
@@ Property / cites work: Recovering and Utilizing Partial Duality in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Proof System for QBF Preprocessing
@@ Property / cites work: A Unified Proof System for QBF Preprocessing / 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 @@
+On Propositional QBF Expansions and Q-Resolution
@@ Property / cites work: On Propositional QBF Expansions and Q-Resolution / 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 @@
+Experiments with Reduction Finding
@@ Property / cites work: Experiments with Reduction Finding / rank @@
+Normal rank
@@ Property / cites work @@
+Compressing BMC Encodings with QBF
@@ Property / cites work: Compressing BMC Encodings with QBF / 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 @@
+A Non-prenex, Non-clausal QBF Solver with Game-State Learning
+Normal rank
@@ Property / cites work @@
+Q4412858
@@ Property / cites work: Q4412858 / rank @@
+Normal rank
@@ Property / cites work @@
+Failed Literal Detection for QBF
@@ Property / cites work: Failed Literal Detection for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation
+Normal rank
@@ Property / cites work @@
+Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
+Normal rank
@@ Property / cites work @@
+The Seventh QBF Solvers Evaluation (QBFEVAL’10)
@@ Property / cites work: The Seventh QBF Solvers Evaluation (QBFEVAL’10) / rank @@
+Normal rank
@@ Property / cites work @@
+Careful Ranking of Multiple Solvers with Timeouts and Ties
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / cites work @@
+Extended Failed-Literal Preprocessing for Quantified Boolean Formulas
+Normal rank