Satisfiability with index dependency (Q2637283): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+The complexity of computing the permanent
@@ Property / cites work: The complexity of computing the permanent / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Proof verification and the hardness of approximation problems
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems: Refining Schaefer's theorem
+Normal rank
@@ Property / cites work @@
+A simplified NP-complete satisfiability problem
@@ Property / cites work: A simplified NP-complete satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+One More Occurrence of Variables Makes Satisfiability Jump from Trivial to NP-Complete
+Normal rank
@@ Property / cites work @@
+Q5365071
@@ Property / cites work: Q5365071 / rank @@
+Normal rank
@@ Property / cites work @@
+Planar Formulae and Their Uses
@@ Property / cites work: Planar Formulae and Their Uses / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and Algorithms for Well-Structured k-SAT Instances
+Normal rank
@@ Property / cites work @@
+A Sharp Bound for Solutions of Linear Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Small solutions of linear diophantine equations
@@ Property / cites work: Small solutions of linear diophantine equations / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Hermite and Smith Normal Matrices and Linear Diophantine Equations
+Normal rank