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