Login / Signup

A CNF Class Generalizing Exact Linear Formulas.

Stefan PorschenEwald Speckenmeyer
Published in: SAT (2008)
Keyphrases
  • cnf formula
  • closed form
  • data sets
  • support vector
  • np complete
  • boolean functions
  • linear model