SatEx

swMATH1588MaRDI QIDQ14294FDOQ14294

Author name not available (Why is that?)

Described by source

• SatEx: A web-based framework for SAT experimentation

Cited In (10)

• 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
• 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
• APPROXIMATING THE DISCRETE RESOURCE SHARING SCHEDULING PROBLEM

This page was built for software: SatEx