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

Abstract

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.