Login / Signup

Cops-Robber Games and the Resolution of Tseitin Formulas.

Nicola GalesiNavid TalebanfardJacobo Torán
Published in: SAT (2018)
Keyphrases
  • semidefinite
  • high resolution
  • lower bound
  • linear programming
  • semidefinite programming