Distributed cube and conquer with Paracooba

DOI10.1007/978-3-030-51825-7_9OpenAlexW3038672651MaRDI QIDQ2661340

Maximilian Heisinger, Armin Biere, Mathias Fleury

Publication date: 7 April 2021

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

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 (2)

Paracooba ⋮ Scalable SAT solving in the cloud

Uses Software

• ManySAT
• Plingeling
• CryptoMiniSat
• HordeSat
• Syrup
• CaDiCaL

This page was built for publication: Distributed cube and conquer with Paracooba