SatEx

swMATH1588MaRDI QIDQ14294FDOQ14294

Author name not available (Why is that?)

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)

• 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