Login / Signup

Short propositional refutations for dense random 3CNF formulas.

Sebastian MüllerIddo Tzameret
Published in: Ann. Pure Appl. Log. (2014)
Keyphrases