Cited in
(30)- Partitioning search spaces of a randomized search
- scientific article; zbMATH DE number 7301717 (Why is no real title available?)
- Thread-parallel integrated test pattern generator utilizing satisfiability analysis
- DPLL+ROBDD derivation applied to inversion of some cryptographic functions
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- c-sat
- ManySAT
- GridSAT
- PSATO
- FRODO__2
- Mozart
- PaQuBE
- ChainSAT
- antom
- NAGSAT
- Picoso
- PMiniSAT
- PMSat
- ZetaSAT
- Grid BnB
- Sparrow2011
- Scalable SAT solving in the cloud
- DOC-BRelax
- OKlibrary
- countAntom
- A review of literature on parallel constraint solving
- PaMira
- Large-scale parallelism for constraint-based local search: the costas array case study
- An overview of parallel SAT solving
- Laissez-faire caching for parallel \#SAT solving
This page was built for software: PaMiraXT
