Login / Signup
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.
Alexis de Colnet
Stefan Mengel
Published in:
J. Artif. Intell. Res. (2023)
Keyphrases
</>
semidefinite
high resolution
semidefinite programming