A Short Implicant of a CNF Formula with Many Satisfying Assignments.

Daniel M. Kane Osamu Watanabe

Published in: ISAAC (2014)

Keyphrases

cnf formula
np complete
max sat
sat problem
neural network
conjunctive normal form
machine learning
artificial intelligence
search algorithm
special case
weighted max sat