swMATH1588MaRDI QIDQ14294FDOQ14294
Author name not available (Why is that?)
Official website: https://www.lri.fr/~simon/recherche/papiers/simon-sat2001.pdf
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
