swMATH168MaRDI QIDQ12936FDOQ12936
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/yl48t6687j72vgx7/fulltext.pdf
Cited In (19)
- HordeSat: a massively parallel portfolio SAT solver
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- Title not available (Why is that?)
- ManySAT
- PSATO
- STAN
- GrADSAT
- Title not available (Why is that?)
- ChainSAT
- PMSat
- SArTagnan
- ZetaSAT
- Grid BnB
- Sparrow2011
- HordeSat
- Large-scale parallelism for constraint-based local search: the costas array case study
- An overview of parallel SAT solving
- PaSAT
- Scranfilize
This page was built for software: c-sat
