SatEx

MaRDI QIDQ14294swMATHFDO

Official website https://www.lri.fr/~simon/recherche/papiers/simon-sat2001.pdf

Described by source

• SatEx: A web-based framework for SAT experimentation

Cited in

(18)

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

This page was built for software: SatEx