Generalising and Unifying SLUR and Unit-Refutation Completeness (Q2927648): Difference between revisions

@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Compilation with Empowerment
@@ Property / cites work: Knowledge Compilation with Empowerment / rank @@
+Normal rank
@@ Property / cites work @@
+Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
+Normal rank
@@ Property / cites work @@
+Properties of SLUR Formulae
@@ Property / cites work: Properties of SLUR Formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077976
@@ Property / cites work: Q3077976 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of clause-learning SAT solvers as resolution engines
+Normal rank
@@ Property / cites work @@
+Q4375759
@@ Property / cites work: Q4375759 / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on certain polynomial-time solvable classes of satisfiability
+Normal rank
@@ Property / cites work @@
+Generalising unit-refutation completeness and SLUR via nested input resolution
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On generalized Horn formulas and \(k\)-resolution
@@ Property / cites work: On generalized Horn formulas and \(k\)-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Present and Future of Practical SAT Solving
@@ Property / cites work: Present and Future of Practical SAT Solving / rank @@
+Normal rank
@@ Property / cites work @@
+On finding solutions for extended Horn formulas
@@ Property / cites work: On finding solutions for extended Horn formulas / rank @@
+Normal rank
@@ Property / cites work @@
+A short note on some tractable cases of the satisfiability problem.
+Normal rank