scientific article; zbMATH DE number 5620835

MaRDI QIDQ3639754zbMATH OpenFDO

Authors Tobias Schubert, Matthew Lewis, Bernd Becker

Publication date 26 October 2009

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Parallel algorithms in computer science (68W10)

Recommendations

• Reproducible efficient parallel SAT solving
• ManySAT: a parallel SAT solver
• An overview of parallel SAT solving
• scientific article; zbMATH DE number 828719
• scientific article; zbMATH DE number 5613972

Cited in

(13)

• PaMiraXT
• Scalable SAT solving in the cloud
• Large-scale parallelism for constraint-based local search: the costas array case study
• PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications
• DPLL+ROBDD derivation applied to inversion of some cryptographic functions
• scientific article; zbMATH DE number 5613972 (Why is no real title available?)
• Laissez-faire caching for parallel \#SAT solving
• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• 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?)
• Unsatisfiability proofs for distributed clause-sharing SAT solvers
• Thread-parallel integrated test pattern generator utilizing satisfiability analysis

Describes a project that uses

Uses Software

• MiniSat
• PSATO
• SATO
• MPI/MPICH
• Chaff
• BerkMin

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3639754)