CNF formula simplification using implication reasoning.

Rajat Arora Michael S. Hsiao

Published in: HLDVT (2004)

Keyphrases

cnf formula
np complete
max sat
knowledge base
functional dependencies
automated reasoning
database
artificial intelligence
objective function
evolutionary algorithm
search strategy
sat problem
weighted max sat