Community and LBD-based clause sharing policy for parallel SAT solving

DOI10.1007/978-3-030-51825-7_2OpenAlexW3040478855MaRDI QIDQ2661331

Ludovic Le Frioux, Vincent Vallade, Souheib Baarir, Vijay Ganesh, Julien Sopena, Fabrice Kordon

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_2

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

Leveraging GPUs for effective clause sharing in parallel SAT solving

Uses Software

• ManySAT
• PSATO
• Chaff
• Plingeling
• Treengeling
• PaInleSS
• Splatz
• Lingeling
• MapleCOMSPS
• YalSAT

This page was built for publication: Community and LBD-based clause sharing policy for parallel SAT solving