Abstract
This paper presents an interesting discrete optimization problem which was stated as a challenge at the 2014 Bologna Summer School of Constraint Programming. The problem is given in two versions: a tractable one of a small size, for training, and a large one for the competition. A formalization of the problem is proposed, and its theoretical properties are analyzed. Several approaches for solving the problem are presented in detail. Namely, formalizations in Answer Set Programming, Prolog, and Julia are presented, and the obtained results are discussed and compared. The experiments show that different tools allow to handle different aspects of constraint programming.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andres, B., Kaufmann, B., Matheis, O., Schaub, T.: Unsatisfiability-based optimization in clasp. In: Tech. Com. of the ICLP. LIPIcs, vol. 17, pp. 211–221 (2012)
Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers, San Francisco (2003)
Dodaro, C.: Engineering an efficient native ASP solver. TPLP 13(4-5-Online-Supplement) (2013)
Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)
Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671–680 (1983)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499–562 (2006)
Ligęza, A.: Models and tools for improving efficiency in constraint logic programming. Decision Making in Manufacturing and Services 5(1-2), 69–78 (2011)
Morgado, A., Dodaro, C., Marques-Silva, J.: Core-guided MaxSAT with soft cardinality constraints. In: O’Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 564–573. Springer, Heidelberg (2014)
Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier (2006)
Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. The MIT Press, Cambridge (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Adrian, W.T., Leone, N., Ligęza, A., Manna, M., Ślażyński, M. (2015). Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L., Zurada, J. (eds) Artificial Intelligence and Soft Computing. ICAISC 2015. Lecture Notes in Computer Science(), vol 9120. Springer, Cham. https://doi.org/10.1007/978-3-319-19369-4_48
Download citation
DOI: https://doi.org/10.1007/978-3-319-19369-4_48
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19368-7
Online ISBN: 978-3-319-19369-4
eBook Packages: Computer ScienceComputer Science (R0)