Proving Unsatisfiability of CNFs Locally.

Eugene Goldberg

Published in: J. Autom. Reason. (2002)

Keyphrases

cnf formula
max sat
globally consistent
np complete
sat problem
recursive least squares
image sequences
learning rate
complex valued
conjunctive normal form