Local-search techniques for propositional logic extended with cardinality constraints

Lengning Liu Miroslaw Truszczynski

Published in: CoRR (2003)

Keyphrases

propositional logic
cardinality constraints
satisfiability testing
propositional satisfiability
belief revision
first order logic
functional dependencies
search algorithm
belief change
tabu search
genetic algorithm
data exchange
inference rules
simulated annealing
np hard
search space
optimal solution