Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas (Q3655211): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04222-5_22
+Normal rank
@@ Property / OpenAlex ID @@
+W1566051759
@@ Property / OpenAlex ID: W1566051759 / 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 @@
+Q3624018
@@ Property / cites work: Q3624018 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / 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 @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+A self-adaptive multi-engine solver for quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Backjumping for quantified Boolean logic satisfiability
+Normal rank
@@ Property / cites work @@
+Resolution versus search: Two strategies for SAT
@@ Property / cites work: Resolution versus search: Two strategies for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of structural CSP decomposition methods
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
+Normal rank
@@ Property / cites work @@
+Q4856771
@@ Property / cites work: Q4856771 / rank @@
+Normal rank
@@ Property / cites work @@
+Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q2751045
@@ Property / cites work: Q2751045 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear time algorithm for finding tree-decompositions of small treewidth
+Normal rank
@@ Property / cites work @@
+Q5312442
@@ Property / cites work: Q5312442 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Clause Reasoning in QBF
@@ Property / cites work: Binary Clause Reasoning in QBF / rank @@
+Normal rank