An algorithm for exact satisfiability analysed with the number of clauses as parameter (Q1045885): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2005.08.011
@@ Property / DOI: 10.1016/j.ipl.2005.08.011 / rank @@
-Normal rank
@@ Property / cites work @@
+Enumerating maximal independent sets with applications to graph colouring.
+Normal rank
@@ Property / cites work @@
+New algorithms for exact satisfiability
@@ Property / cites work: New algorithms for exact satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / 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 @@
+New worst-case upper bounds for SAT
@@ Property / cites work: New worst-case upper bounds for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4747916
@@ Property / cites work: Q4747916 / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2005: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Exact satisfiability, a natural extension of set partition, and its average case behavior
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2005.08.011
@@ Property / DOI: 10.1016/J.IPL.2005.08.011 / rank @@
+Normal rank