HordeSat
From MaRDI portal
Software:28581
swMATH16712MaRDI QIDQ28581FDOQ28581
Author name not available (Why is that?)
Cited In (12)
- Distributed cube and conquer with Paracooba
- HordeQBF: A Modular and Massively Parallel QBF Solver
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- The Service-Oriented Multiagent Approach to High-Performance Scientific Computing
- Sequential and Parallel Algorithms and Data Structures
- A review of literature on parallel constraint solving
- HordeSat: A Massively Parallel Portfolio SAT Solver
- Scalable SAT solving in the cloud
- Automatic construction of parallel portfolios via algorithm configuration
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code
- The \textsc{MergeSat} solver
- SAT competition 2020
This page was built for software: HordeSat
