swMATH6997MaRDI QIDQ19060FDOQ19060
Author name not available (Why is that?)
Official website: http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_10_Schubert.pdf
Cited In (26)
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Thread-parallel integrated test pattern generator utilizing satisfiability analysis
- A review of literature on parallel constraint solving
- Title not available (Why is that?)
- ManySAT
- Mozart
- PaQuBE
- ChainSAT
- antom
- NAGSAT
- Picoso
- PMiniSAT
- PMSat
- ZetaSAT
- Grid BnB
- Sparrow2011
- DOC-BRelax
- OKlibrary
- Large-scale parallelism for constraint-based local search: the costas array case study
- countAntom
- An overview of parallel SAT solving
- Scalable SAT solving in the cloud
- PaMira
- DPLL+ROBDD derivation applied to inversion of some cryptographic functions
- Partitioning search spaces of a randomized search
- Laissez-faire caching for parallel \#SAT solving
This page was built for software: PaMiraXT
