AIIA
2011
Springer
12 years 4 months ago
2011
Springer
Abstract. In this work we present an assessment of state-of-the-art Boolean optimization solvers from different AI communities on over-subscription planning problems. The goal of t...