Login / Signup
Cops-Robber games and the resolution of Tseitin formulas.
Nicola Galesi
Navid Talebanfard
Jacobo Torán
Published in:
Electron. Colloquium Comput. Complex. (2018)
Keyphrases
</>
semidefinite
semidefinite programming
high resolution