Login / Signup
Cops-Robber Games and the Resolution of Tseitin Formulas.
Nicola Galesi
Navid Talebanfard
Jacobo Torán
Published in:
SAT (2018)
Keyphrases
</>
semidefinite
high resolution
lower bound
linear programming
semidefinite programming