Recognition of Nested Gates in CNF Formulas.

Markus Iser Norbert Manthey Carsten Sinz

Published in: SAT (2015)

Keyphrases

cnf formula
recognition rate
np complete
information retrieval
machine learning
lower bound
special case
orders of magnitude
propositional formulas