On the Complexity of Optimization Problems based on Compiled NNF Representations

Daniel Le Berre, Emmanuel Lonca, Pierre Marquis

Optimization is a key task in a number of applications. When the set of feasible solutions under consideration is of combinatorial nature and described in an implicit way as a set…