Sciweavers

Share
CPAIOR
2011
Springer

Optimization Methods for the Partner Units Problem

9 years 1 months ago
Optimization Methods for the Partner Units Problem
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in industry. Unfortunately, it can be shown that in the most general case an optimization version of the problem is intractable. We present and evaluate encodings of the problem in the frameworks of answer set programming, propositional satisfiability testing, constraint solving, and integer programming. We also show how to adapt these encodings to a class of problem instances that we have recently shown to be tractable.
Markus Aschinger, Conrad Drescher, Gerhard Friedri
Added 27 Aug 2011
Updated 27 Aug 2011
Type Journal
Year 2011
Where CPAIOR
Authors Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen
Comments (0)
books