Cops-Robber Games and the Resolution of Tseitin Formulas.

Nicola Galesi Navid Talebanfard Jacobo Torán

Published in: ACM Trans. Comput. Theory (2020)

Keyphrases

semidefinite
high resolution
semidefinite programming
machine learning
worst case
super resolution