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