Login / Signup
Characterizing Tseitin-formulas with short regular resolution refutations.
Alexis de Colnet
Stefan Mengel
Published in:
CoRR (2021)
Keyphrases
</>
semidefinite
high resolution
semidefinite programming
kernel function
higher dimensional
interior point methods