HordeSat
From MaRDI portal
swMATH16712MaRDI QIDQ28581FDOQ28581
Author name not available (Why is that?)
Official website: http://baldur.iti.kit.edu/hordesat/
Cited In (50)
- Distributed cube and conquer with Paracooba
- HordeSat: a massively parallel portfolio SAT solver
- Paracooba
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- A review of literature on parallel constraint solving
- ManySAT
- Mozart
- PaMiraXT
- STXXL
- Plingeling
- GrADSAT
- PrecoSAT
- PMSat
- ppfolio
- QMiraXT
- SArTagnan
- pfolioUZK
- Treengeling
- SATGraf
- Coprocessor
- COMiniSatPS
- HordeQBF
- MPIDepQBF
- satUZK
- Minksum
- Bob++
- PaInleSS
- QBFEVAL
- AWK
- AIGSolve
- MapleAmpharos
- Splatz
- Syrup
- DOC-BRelax
- PCM
- MapleCOMSPS
- MapleCOMSPS_LRB
- Maple_LCM_Dist_ChronoBT
- 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
- CDCLSym
- Scranfilize
- cake_lpr
- SLIME
- 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
