c-sat

MaRDI QIDQ12936swMATHFDO

Official website http://www.springerlink.com/content/yl48t6687j72vgx7/fulltext.pdf

Cited in

(19)

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

This page was built for software: c-sat