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

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 the empirical analysis here presented is to assess the current respective performance of a wide variety of Boolean optimization solvers for solving such problems.

• Type: Journal
• Year: 2011
• Where: AIIA
• Authors: Marco Maratea, Luca Pulina
• Keywords: AIIA 2011, Artificial Intelligence, Empirical Analysis, Optimization, State Of The Art