The following pages link to (Q5687277):
Displayed 3 items.
- A two-phase algorithm for solving a class of hard satisfiability problems (Q1306378) (← links)
- On SAT instance classes and a method for reliable performance experiments with SAT solvers (Q1777389) (← links)
- A Combined Parallel Lagrangian Decomposition and Cutting-Plane Generation for Maximum Stable Set Problems (Q2883604) (← links)