PaMiraXT

MaRDI QIDQ19060swMATHFDO

Official website http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_10_Schubert.pdf

Cited in

(30)

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

This page was built for software: PaMiraXT