Login / Signup
Unsatisfiable Linear CNF Formulas Are Large and Complex.
Dominik Scheder
Published in:
STACS (2010)
Keyphrases
</>
cnf formula
np complete
propositional formulas
knowledge compilation
neural network
information extraction