Login / Signup
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations.
Alexis de Colnet
Stefan Mengel
Published in:
SAT (2021)
Keyphrases
</>
semidefinite
semidefinite programming
high resolution
high dimensional
theorem prover