HordeSat

swMATH16712MaRDI QIDQ28581FDOQ28581

Author name not available (Why is that?)

Cited In (12)

• Distributed cube and conquer with Paracooba
• HordeSat: a massively parallel portfolio SAT solver
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• A review of literature on parallel constraint solving
• Scalable SAT solving in the cloud
• The service-oriented multiagent approach to high-performance scientific computing
• Sequential and parallel algorithms and data structures. The basic toolbox
• Automatic construction of parallel portfolios via algorithm configuration
• HordeQBF: a modular and massively parallel QBF solver
• \texttt{mplrs}: a scalable parallel vertex/facet enumeration code
• The \textsc{MergeSat} solver
• SAT competition 2020

This page was built for software: HordeSat