XSAT and NAE-SAT of linear CNF classes (Q2440094): Difference between revisions

@@ Property / cites work @@
+Q5589781
@@ Property / cites work: Q5589781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099676
@@ Property / cites work: Q4099676 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast parallel SAT-solver -- efficient workload balancing
+Normal rank
@@ Property / cites work @@
+New algorithms for exact satisfiability
@@ Property / cites work: New algorithms for exact satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms and hardness results for the clique packing problem
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of General Graph Factor Problems
+Normal rank
@@ Property / cites work @@
+A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms and hulls
@@ Property / cites work: Axioms and hulls / rank @@
+Normal rank
@@ Property / cites work @@
+One More Occurrence of Variables Makes Satisfiability Jump from Trivial to NP-Complete
+Normal rank
@@ Property / cites work @@
+The Non-Existence of Finite Projective Planes of Order 10
+Normal rank
@@ Property / cites work @@
+Q4747916
@@ Property / cites work: Q4747916 / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of Fisher's inequality
@@ Property / cites work: A short proof of Fisher's inequality / 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 @@
+On Some SAT-Variants over Linear Formulas
@@ Property / cites work: On Some SAT-Variants over Linear Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Linear XSAT-Problems
@@ Property / cites work: Complexity Results for Linear XSAT-Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Variable-Weighted 2-SAT and Dual Problems
+Normal rank
@@ Property / cites work @@
+Linear CNF formulas and satisfiability
@@ Property / cites work: Linear CNF formulas and satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Color critical hypergraphs with many edges
@@ Property / cites work: Color critical hypergraphs with many edges / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851094
@@ Property / cites work: Q3851094 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Unsatisfiable Linear CNF Formulas Are Large and Complex.
+Normal rank
@@ Property / cites work @@
+Q4002255
@@ Property / cites work: Q4002255 / rank @@
+Normal rank