When Conflicting Constraints Can Be Resolved - The Lovász Local Lemma and Satisfiability.

Published in: ICALP (1) (2010)

Keyphrases

constraint programming
propositional logic
information systems
constraint satisfaction
satisfiability problem
linear constraints
neural network
case study
belief revision
global constraints
resource constraints