Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions.

Marco Maratea Luca Pulina

Published in: AI*IA (2011)

Keyphrases

boolean optimization
sat solving
planning problems
optimal solution
domain specific
domain independent
boolean satisfiability