Cited in
(18)- A parallelization scheme based on work stealing for a class of SAT solvers
- Equivalent literal propagation in the DLL procedure
- Exploiting the real power of unit propagation lookahead
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- UnitWalk
- SATLIB
- SATO
- HeerHugo
- QBFLIB
- Velev SAT Benchmarks
- ZRes
- Nginx
- Approximating the discrete resource sharing scheduling problem
- Learning parallel portfolios of algorithms
- Theory and Applications of Satisfiability Testing
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
This page was built for software: SatEx
