The following pages link to (Q4667097):
Displaying 6 items.
- On semidefinite least squares and minimal unsatisfiability (Q516798) (← links)
- An improved semidefinite programming relaxation for the satisfiability problem (Q1774165) (← links)
- Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872) (← links)
- An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs (Q2643148) (← links)
- Practical algorithms for unsatisfiability proof and core generation in SAT solvers (Q3568227) (← links)
- Theory and Applications of Satisfiability Testing (Q5713720) (← links)