BerkMin: A fast and robust SAT-solver (Q2643301): Difference between revisions

@@ Property / describes a project that uses @@
+CMU Benchmarks
@@ Property / describes a project that uses: CMU Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATLIB Benchmark Suite
@@ Property / describes a project that uses: SATLIB Benchmark Suite / 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.1016/j.dam.2006.10.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2143934828
@@ Property / OpenAlex ID: W2143934828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473048
@@ Property / cites work: Q4473048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680754
@@ Property / cites work: Q3680754 / 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 @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+A constraint-based approach to narrow search trees for satisfiability
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank