BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.

Robert Cowen Katherine Wyatt

Published in: Notre Dame J. Formal Log. (1993)

Keyphrases

preprocessing
optimal solution
computational complexity
cost function
machine learning
objective function
natural language
dynamic programming
linear programming
np complete
database design
cnf formula
neural network
relational databases