The following pages link to (Q5687277):
Displaying 5 items.
- A two-phase algorithm for solving a class of hard satisfiability problems (Q1306378) (← links)
- A block active set algorithm with spectral choice line search for the symmetric eigenvalue complementarity problem (Q1734301) (← 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)
- An alternating direction method of multipliers for the eigenvalue complementarity problem (Q4999333) (← links)
