Cited in
(55)- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- Paracooba
- Distributed cube and conquer with Paracooba
- Sequential and parallel algorithms and data structures. The basic toolbox
- SAT competition 2020
- HordeQBF: a modular and massively parallel QBF solver
- c-sat
- ManySAT
- ZRAM
- GridSAT
- PSATO
- FRODO__2
- Mozart
- PaMiraXT
- STXXL
- Plingeling
- GrADSAT
- PrecoSAT
- PMSat
- ppfolio
- QMiraXT
- SArTagnan
- pfolioUZK
- Treengeling
- SATGraf
- Coprocessor
- Scalable SAT solving in the cloud
- COMiniSatPS
- HordeQBF
- MPIDepQBF
- satUZK
- Minksum
- Bob++
- PaInleSS
- QBFEVAL
- AWK
- AIGSolve
- MapleAmpharos
- Splatz
- Syrup
- DOC-BRelax
- PCM
- MapleCOMSPS
- MapleCOMSPS_LRB
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code
- HordeSat: a massively parallel portfolio SAT solver
- The service-oriented multiagent approach to high-performance scientific computing
- Maple_LCM_Dist_ChronoBT
- A review of literature on parallel constraint solving
- CDCLSym
- Scranfilize
- cake_lpr
- SLIME
- Automatic construction of parallel portfolios via algorithm configuration
- The \textsc{MergeSat} solver
This page was built for software: HordeSat
