Distributed cube and conquer with Paracooba

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

Armin Biere, Mathias Fleury, Maximilian Heisinger

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

68Q25: Analysis of algorithms and problem complexity

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

68R07: Computational aspects of satisfiability

Related Items

Paracooba

Uses Software

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