Cited in
(27)- Distributing the workload in a lazy theorem-prover
- Strategies for Solving SAT in Grids by Randomized Search
- A collaborative approach for multi-threaded SAT solving
- Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
- c-sat
- PLATYPUS
- GridLab
- ToolBus
- PSATO
- FRODO__2
- SATO
- GrADS
- PaMiraXT
- GrADSAT
- InteGrade
- GridJM
- NAGSAT
- PMiniSAT
- PMSat
- ZetaSAT
- A competitive and cooperative approach to propositional satisfiability
- DOC-BRelax
- Charlotte
- HordeSat: a massively parallel portfolio SAT solver
- A review of literature on parallel constraint solving
- Solving SAT in a distributed cloud: a portfolio approach
- An overview of parallel SAT solving
This page was built for software: GridSAT
