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