Operations Research
Article
Anjos,MF;Vieira,MVC
DISCRETE APPLIED MATHEMATICS
2013
161
18
2812-2826
10.1016/j.laa.2004.08.022
Semidefinite resolution and exactness of semidefinite relaxations for satisfiability
NOVA Math > NOVA Math > NOVA Math Publications > Semidefinite resolution and exactness of semidefinite relaxations for satisfiability