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

@@ Property / DOI @@
-.1016/j.dam.2006.10.007
@@ Property / DOI: 10.1016/j.dam.2006.10.007 / rank @@
-Normal rank
@@ 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 @@
+SATO
@@ Property / describes a project that uses: SATO / 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 @@
+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
@@ Property / DOI @@
+.1016/J.DAM.2006.10.007
@@ Property / DOI: 10.1016/J.DAM.2006.10.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2643301