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