Proving unsatisfiability of CNFs locally.

Eugene Goldberg

Published in: Electron. Notes Discret. Math. (2001)

Keyphrases

cnf formula
conjunctive normal form
max sat
np complete
complex valued
recursive least squares
genetic algorithm
fuzzy sets