An overview of parallel SAT solving (Q487635): Difference between revisions

@@ Property / author @@
+Vasco M. Manquinho
@@ Property / author: Vasco M. Manquinho / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ManySAT
@@ Property / describes a project that uses: ManySAT / 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 @@
+Siege
@@ Property / describes a project that uses: Siege / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPI
@@ Property / describes a project that uses: MPI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Plingeling
@@ Property / describes a project that uses: Plingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PicoSAT
@@ Property / describes a project that uses: PicoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PrecoSAT
@@ Property / describes a project that uses: PrecoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CryptoMiniSat
@@ Property / describes a project that uses: CryptoMiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATO
@@ Property / describes a project that uses: SATO / 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/s10601-012-9121-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2027282006
@@ Property / OpenAlex ID: W2027282006 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical algorithms for unsatisfiability proof and core generation in SAT solvers
+Normal rank
@@ Property / cites work @@
+A Generalized Framework for Conflict Analysis
@@ Property / cites work: A Generalized Framework for Conflict Analysis / 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 @@
+Q4473048
@@ Property / cites work: Q4473048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3604000
@@ Property / cites work: Q3604000 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast parallel SAT-solver -- efficient workload balancing
+Normal rank
@@ Property / cites work @@
+Q3181647
@@ Property / cites work: Q3181647 / 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 @@
+A collaborative approach for multi-threaded SAT solving
+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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3181645
@@ Property / cites work: Q3181645 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of Resolution by an Algorithm Operating on Complete Assignments
+Normal rank
@@ Property / cites work @@
+A Decision-Making Procedure for Resolution-Based SAT-Solvers
+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 @@
+Q2786913
@@ Property / cites work: Q2786913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank
@@ Property / cites work @@
+Boosting Distributed Constraint Satisfaction
@@ Property / cites work: Boosting Distributed Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741522
@@ Property / cites work: Q2741522 / rank @@
+Normal rank
@@ Property / cites work @@
+On the parallel complexity of discrete relaxation in constraint satisfaction networks
+Normal rank
@@ Property / cites work @@
+SAT Solving with Reference Points
@@ Property / cites work: SAT Solving with Reference Points / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations on autark assignments
@@ Property / cites work: Investigations on autark assignments / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal speedup of Las Vegas algorithms
@@ Property / cites work: Optimal speedup of Las Vegas algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient data structures for backtrack search SAT solvers
+Normal rank
@@ Property / cites work @@
+Improving Unsatisfiability-Based Algorithms for Boolean Optimization
+Normal rank
@@ Property / cites work @@
+Adopt: asynchronous distributed constraint optimization with quality guarantees
+Normal rank
@@ Property / cites work @@
+A distributed arc-consistency algorithm
@@ Property / cites work: A distributed arc-consistency algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of clause-learning SAT solvers as resolution engines
+Normal rank
@@ Property / cites work @@
+Local Search for Unsatisfiability
@@ Property / cites work: Local Search for Unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639754
@@ Property / cites work: Q3639754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2741526
@@ Property / cites work: Q2741526 / rank @@
+Normal rank
@@ Property / cites work @@
+NP is as easy as detecting unique solutions
@@ Property / cites work: NP is as easy as detecting unique solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Autarky pruning in propositional model elimination reduces failure redundancy
+Normal rank
@@ Property / cites work @@
+PSATO: A distributed propositional prover and its application to quasigroup problems
+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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank