A competitive and cooperative approach to propositional satisfiability (Q860390): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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 @@
+PSATO
@@ Property / describes a project that uses: PSATO / 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 @@
+zChaff
@@ Property / describes a project that uses: zChaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIMACS
@@ Property / describes a project that uses: DIMACS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Graphplan
@@ Property / describes a project that uses: Graphplan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GridSAT
@@ Property / describes a project that uses: GridSAT / 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.1016/j.dam.2006.04.015
+Normal rank
@@ Property / OpenAlex ID @@
+W1983758948
@@ Property / OpenAlex ID: W1983758948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687264
@@ Property / cites work: Q5687264 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A fast parallel SAT-solver -- efficient workload balancing
+Normal rank
@@ Property / cites work @@
+GridSAT: Design and implementation of a computational grid application
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / 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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Flowshop and Jobshop Scheduling
@@ Property / cites work: The Complexity of Flowshop and Jobshop Scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm portfolios
@@ Property / cites work: Algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+The \(Multi\)-SAT algorithm
@@ Property / cites work: The \(Multi\)-SAT algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418385
@@ Property / cites work: Q4418385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741522
@@ Property / cites work: Q2741522 / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating hard satisfiability problems
@@ Property / cites work: Generating hard satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Job Shop Scheduling by Local Search
@@ Property / cites work: Job Shop Scheduling by Local Search / rank @@
+Normal rank
@@ Property / cites work @@
+PSATO: A distributed propositional prover and its application to quasigroup problems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:860390