Q2741514 (Q2741514): Difference between revisions

@@ Property / describes a project that uses @@
+SatEx
@@ Property / describes a project that uses: SatEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATO
@@ Property / describes a project that uses: SATO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIMACS
@@ Property / describes a project that uses: DIMACS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q5687266
@@ Property / cites work: Q5687266 / rank @@
+Normal rank
@@ Property / cites work @@
+A constraint-based approach to narrow search trees for satisfiability
+Normal rank
@@ Property / cites work @@
+Q2749861
@@ Property / cites work: Q2749861 / rank @@
+Normal rank
@@ Property / cites work @@
+A two-phase algorithm for solving a class of hard satisfiability problems
+Normal rank
@@ Property / cites work @@
+Q2729082
@@ Property / cites work: Q2729082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741519
@@ Property / cites work: Q2741519 / 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 parallelization scheme based on work stealing for a class of SAT solvers
+Normal rank
@@ Property / cites work @@
+Q2749853
@@ Property / cites work: Q2749853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q2767071
@@ Property / cites work: Q2767071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687246
@@ Property / cites work: Q5687246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703800
@@ Property / cites work: Q2703800 / rank @@
+Normal rank