Further improvements for SAT in terms of formula length (Q6077846): Difference between revisions

@@ Property / cites work @@
+Q4375756
@@ Property / cites work: Q4375756 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of \(k\)-SAT
@@ Property / cites work: On the complexity of \(k\)-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT
+Normal rank
@@ Property / cites work @@
+Q4484662
@@ Property / cites work: Q4484662 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved exponential-time algorithm for             <i>k</i>             -SAT
+Normal rank
@@ Property / cites work @@
+IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)
+Normal rank
@@ Property / cites work @@
+Q4747916
@@ Property / cites work: Q4747916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250220
@@ Property / cites work: Q4250220 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms and Computation
@@ Property / cites work: Algorithms and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+An improved upper bound for SAT
@@ Property / cites work: An improved upper bound for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+A satisfiability tester for non-clausal propositional calculus
+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 @@
+Algorithms – ESA 2005
@@ Property / cites work: Algorithms – ESA 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+An Improved SAT Algorithm in Terms of Formula Length
+Normal rank
@@ Property / cites work @@
+Dealing with 4-variables by resolution: an improved MaxSAT algorithm
+Normal rank
@@ Property / cites work @@
+A fast algorithm for SAT in terms of formula length
+Normal rank
@@ Property / cites work @@
+Exact exponential algorithms.
@@ Property / cites work: Exact exponential algorithms. / rank @@
+Normal rank
@@ Property / cites work @@
+A Faster Algorithm for Dominating Set Analyzed by the Potential Method
+Normal rank
@@ Property / cites work @@
+Labeled search trees and amortized analysis: Improved upper bounds for NP-hard problems
+Normal rank
@@ Property / cites work @@
+Exact algorithms for maximum independent set
@@ Property / cites work: Exact algorithms for maximum independent set / rank @@
+Normal rank
@@ Property / cites work @@
+A measure &amp; conquer approach for the analysis of exact algorithms
+Normal rank
@@ Property / cites work @@
+An exact algorithm for TSP in degree-3 graphs via circuit procedure and amortization on connectivity structure
+Normal rank
@@ Property / cites work @@
+Exact algorithms for dominating set
@@ Property / cites work: Exact algorithms for dominating set / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6077846