Login / Signup

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.

Alexis de ColnetStefan Mengel
Published in: SAT (2021)
Keyphrases
  • semidefinite
  • semidefinite programming
  • high resolution
  • high dimensional
  • theorem prover