The following pages link to SatEx (Q14294):
Displayed 10 items.
- A parallelization scheme based on work stealing for a class of SAT solvers (Q812442) (← links)
- Equivalent literal propagation in the DLL procedure (Q1408382) (← links)
- On SAT instance classes and a method for reliable performance experiments with SAT solvers (Q1777389) (← links)
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (Q1777395) (← links)
- Learning parallel portfolios of algorithms (Q2643151) (← links)
- (Q2741514) (← links)
- APPROXIMATING THE DISCRETE RESOURCE SHARING SCHEDULING PROBLEM (Q2997925) (← links)
- Theory and Applications of Satisfiability Testing (Q5325882) (← links)
- Theory and Applications of Satisfiability Testing (Q5325883) (← links)
- Theory and Applications of Satisfiability Testing (Q5714765) (← links)