Pages that link to "Item:Q2643148"
From MaRDI portal
The following pages link to An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs (Q2643148):
Displaying 3 items.
- On semidefinite least squares and minimal unsatisfiability (Q516798) (← links)
- Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation (Q714020) (← links)
- Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872) (← links)