OpenAlex
Semidefinite resolution and exactness of semidefinite relaxations for satisfiability
Work