A collaborative approach for multi-threaded SAT solving (Q839500): Difference between revisions

@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Survey propagation: An algorithm for satisfiability
+Normal rank
@@ Property / cites work @@
+Linear Encodings of Bounded LTL Model Checking
@@ Property / cites work: Linear Encodings of Bounded LTL Model Checking / 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 @@
+A collaborative approach for multi-threaded SAT solving
+Normal rank
@@ Property / cites work @@
+An efficient approach to solving random \(k\)-SAT problems
+Normal rank
@@ Property / cites work @@
+PSATO: A distributed propositional prover and its application to quasigroup problems
+Normal rank
@@ Property / cites work @@
+Q2741522
@@ Property / cites work: Q2741522 / rank @@
+Normal rank
@@ Property / cites work @@
+GridSAT: Design and implementation of a computational grid application
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank