Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.

Marcelo Finger Ronan LeBras Carla P. Gomes Bart Selman

Published in: SAT (2013)

Keyphrases

hard and soft constraints
bayesian networks
np complete
optimal solution
integrity checking
computational complexity
evolutionary algorithm
data model
special case
heuristic search
benchmark problems
phase transition