scientific article

zbMath1190.68057MaRDI QIDQ3639754

Tobias Schubert, Matthew Lewis, Bernd Becker

Publication date: 26 October 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Laissez-Faire Caching for Parallel #SAT Solving, A review of literature on parallel constraint solving, On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\), An overview of parallel SAT solving, DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions, Thread-parallel integrated test pattern generator utilizing satisfiability analysis, PaMiraXT, Unnamed Item, Large-scale parallelism for constraint-based local search: the costas array case study, Scalable SAT solving in the cloud

Uses Software

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