Cited in
(19)- HordeSat: a massively parallel portfolio SAT solver
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- ManySAT
- PSATO
- STAN
- GrADSAT
- ChainSAT
- PMSat
- SArTagnan
- ZetaSAT
- Grid BnB
- Sparrow2011
- HordeSat
- scientific article; zbMATH DE number 1754598 (Why is no real title available?)
- scientific article; zbMATH DE number 956858 (Why is no real title available?)
- PaSAT
- Large-scale parallelism for constraint-based local search: the costas array case study
- An overview of parallel SAT solving
- Scranfilize
This page was built for software: c-sat
