scientific article; zbMATH DE number 2159161
From MaRDI portal
Publication:4667097
zbMath1059.90116MaRDI QIDQ4667097
Publication date: 19 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs ⋮ Semidefinite resolution and exactness of semidefinite relaxations for satisfiability
Uses Software
This page was built for publication: