A collaborative approach for multi-threaded SAT solving

DOI10.1007/s10766-009-0097-6zbMath1191.68643OpenAlexW2061156579MaRDI QIDQ839500

Gilles Dequen, Pascal Vander-Swalmen, Michaël Krajecki

Publication date: 2 September 2009

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10766-009-0097-6

zbMATH Keywords

DLLsatisfiabilityOpenMPparallel combinatorial optimization

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

A collaborative approach for multi-threaded SAT solving ⋮ An overview of parallel SAT solving

Uses Software

• ManySAT
• GridSAT
• PSATO
• SATO
• PMiniSAT

Cites Work

• A collaborative approach for multi-threaded SAT solving
• An efficient approach to solving random \(k\)-SAT problems
• PSATO: A distributed propositional prover and its application to quasigroup problems
• GridSAT: Design and implementation of a computational grid application
• Linear Encodings of Bounded LTL Model Checking
• Survey propagation: An algorithm for satisfiability
• A machine program for theorem-proving
• The complexity of theorem-proving procedures
• Unnamed Item
• Unnamed Item

This page was built for publication: A collaborative approach for multi-threaded SAT solving