-CNF.

Kazuhisa Makino Suguru Tamaki Masaki Yamamoto

Published in: SAT (2010)

Keyphrases

boolean functions
sat solving
knowledge compilation
conjunctive normal form
sat solvers
data sets
horn theories
model counting
neural network
cnf formula
clause learning