SatEx
From MaRDI portal
Software:14294
No author found.
Related Items (10)
Learning parallel portfolios of algorithms ⋮ Unnamed Item ⋮ Theory and Applications of Satisfiability Testing ⋮ Theory and Applications of Satisfiability Testing ⋮ Equivalent literal propagation in the DLL procedure ⋮ APPROXIMATING THE DISCRETE RESOURCE SHARING SCHEDULING PROBLEM ⋮ Theory and Applications of Satisfiability Testing ⋮ 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 ⋮ A parallelization scheme based on work stealing for a class of SAT solvers
This page was built for software: SatEx
