Failed Literal Detection for QBF (Q3007688): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-21581-0_21
+Normal rank
@@ Property / OpenAlex ID @@
+W178358665
@@ Property / OpenAlex ID: W178358665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741514
@@ Property / cites work: Q2741514 / 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 @@
+Q3604000
@@ Property / cites work: Q3604000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+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 @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488342
@@ Property / cites work: Q4488342 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+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 @@
+The propositional formula checker HeerHugo
@@ Property / cites work: The propositional formula checker HeerHugo / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Incorporation of Double Look-Ahead Procedures
+Normal rank
@@ Property / cites work @@
+A First Step Towards a Unified Proof Checker for QBF
+Normal rank
@@ Property / cites work @@
+Nenofex: Expanding NNF for QBF Solving
@@ Property / cites work: Nenofex: Expanding NNF for QBF Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and applications of satisfiability testing -- SAT 2007. 10th international conference, Lisbon, Portugal, May 28--31, 2007. Proceedings
+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 @@
+Variable Dependencies of Quantified CSPs
@@ Property / cites work: Variable Dependencies of Quantified CSPs / rank @@
+Normal rank
@@ Property / cites work @@
+Using SAT in QBF
@@ Property / cites work: Using SAT in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Clause Reasoning in QBF
@@ Property / cites work: Binary Clause Reasoning in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and applications of satisfiability testing -- SAT 2010. 13th international conference, SAT 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
+Normal rank