A parallelization scheme based on work stealing for a class of SAT solvers (Q812442): Difference between revisions

@@ Property / describes a project that uses @@
+Velev SAT Benchmarks
@@ Property / describes a project that uses: Velev SAT Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SatEx
@@ Property / describes a project that uses: SatEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATLIB
@@ Property / describes a project that uses: SATLIB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-005-1970-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2079547519
@@ Property / OpenAlex ID: W2079547519 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast parallel SAT-solver -- efficient workload balancing
+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 @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / 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 @@
+Q5687274
@@ Property / cites work: Q5687274 / rank @@
+Normal rank
@@ Property / cites work @@
+UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
+Normal rank
@@ Property / cites work @@
+Q2749862
@@ Property / cites work: Q2749862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741522
@@ Property / cites work: Q2741522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741514
@@ Property / cites work: Q2741514 / rank @@
+Normal rank
@@ Property / cites work @@
+A constraint-based approach to narrow search trees for satisfiability
+Normal rank
@@ Property / cites work @@
+Q2741526
@@ Property / cites work: Q2741526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754092
@@ Property / cites work: Q2754092 / rank @@
+Normal rank
@@ Property / cites work @@
+PSATO: A distributed propositional prover and its application to quasigroup problems
+Normal rank