A CNF Formula Hierarchy over the Hypercube.

Stefan Porschen

Published in: Australian Conference on Artificial Intelligence (2007)

Keyphrases

cnf formula
np complete
max sat
parallel algorithm
weighted max sat
knowledge compilation
sat problem
neural network
conjunctive normal form
artificial intelligence
linear programming
np hard
utility function
multi objective
search strategies
branch and bound algorithm
data structure
database