Solving NP-Complete Problems with Quantum Search (Q5458579): Difference between revisions

@@ Property / cites work @@
+Q4542520
@@ Property / cites work: Q4542520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708561
@@ Property / cites work: Q4708561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768314
@@ Property / cites work: Q2768314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4819589
@@ Property / cites work: Q4819589 / 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 @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414647
@@ Property / cites work: Q4414647 / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
+Normal rank
@@ Property / cites work @@
+New methods for 3-SAT decision and worst-case analysis
+Normal rank
@@ Property / cites work @@
+Counting models for 2SAT and 3SAT formulae
@@ Property / cites work: Counting models for 2SAT and 3SAT formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Rapid sampling though quantum computing
@@ Property / cites work: Rapid sampling though quantum computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551211
@@ Property / cites work: Q4551211 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding a Maximum Independent Set
@@ Property / cites work: Finding a Maximum Independent Set / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252376
@@ Property / cites work: Q4252376 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Sat and upper bounds on their complexity
+Normal rank
@@ Property / cites work @@
+A Faster Algorithm for Finding Maximum Independent Sets in Sparse Graphs
+Normal rank
@@ Property / cites work @@
+Exact Max 2-Sat: Easier and Faster
@@ Property / cites work: Exact Max 2-Sat: Easier and Faster / rank @@
+Normal rank