Quantified Constraints and Containment Problems.

Hubie Chen Florent R. Madelaine Barnaby Martin

Published in: LICS (2008)

Keyphrases

solving problems
constraint satisfaction
optimization problems
np complete
economic load dispatch
learning algorithm
reinforcement learning
simulated annealing
decision problems
benchmark problems
mathematical programming
tree patterns