{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:43:21Z","timestamp":1776444201590,"version":"3.51.2"},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T00:00:00Z","timestamp":1530748800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s10601-018-9289-2","type":"journal-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T12:26:58Z","timestamp":1530793618000},"page":"403-450","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["MiniBrass: Soft constraints for MiniZinc"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5283-5304","authenticated-orcid":false,"given":"Alexander","family":"Schiendorfer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerrit","family":"Anders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,5]]},"reference":[{"key":"9289_CR1","unstructured":"Allen, T.E., Chen, M., Goldsmith, J., Mattei, N., Popova, A., Regenwetter, M., Rossi, F., Zwilling, C. (2015). Beyond theory and data in preference modeling: bringing humans into the loop. In T. Walsh (Ed.) Proceedings of the 4th international conference on algorithmic decision theory (ADT\u201915). Lecture notes in computer science (Vol. 9346, pp. 3\u201318). Berlin: Springer."},{"key":"9289_CR2","unstructured":"Allouche, D, de Givry, S., Schiex, T. (2010). Toulbar2, an open-source exact cost function network solver. Tech. rep., INRIA."},{"key":"9289_CR3","unstructured":"Allouche, D, de Givry, S., Katsirelos, G., Schiex, T., Zytnicki, M. (2015). Anytime hybrid best-first search with tree decomposition for weighted CSP. In G. Pesant (Ed.) Proceedings of the 21st international conference on principles and practice of constraint programming (CP\u201915). Lecture notes in computer science (Vol. 9255, pp. 12\u201329). Berlin: Springer."},{"key":"9289_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511983504","volume-title":"Domains and Lambda-Calculi. Cambridge Tracts in Theoretical Computer Science 46","author":"RM Amadio","year":"1998","unstructured":"Amadio, R.M., & Curien, P.L. (1998). Domains and Lambda-Calculi. Cambridge Tracts in Theoretical Computer Science 46. Cambridge: Cambridge University Press."},{"key":"9289_CR5","unstructured":"Ans\u00f3tegui, C., Bofill, M., Palah\u00ed, M., Suy, J., Villaret, M. (2011). W-minizinc: a proposal for modeling weighted CSPs with MiniZinc. In Proceedings of the 1st international workshop on MiniZinc (MZN\u201911)."},{"issue":"2","key":"9289_CR6","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/s10601-012-9131-1","volume":"18","author":"C Ans\u00f3tegui","year":"2013","unstructured":"Ans\u00f3tegui, C., Bofill, M., Palah\u00ed, M., Suy, J., Villaret, M. (2013). Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Constraints, 18(2), 236\u2013268.","journal-title":"Constraints"},{"key":"9289_CR7","volume-title":"Category theory","author":"S Awodey","year":"2010","unstructured":"Awodey, S. (2010). Category theory. Oxford: Oxford University Press."},{"key":"9289_CR8","volume-title":"Category theory for computing science","author":"M Barr","year":"1990","unstructured":"Barr, M., & Wells, C. (1990). Category theory for computing science. Englewood Cliffs: Prentice Hall."},{"issue":"1","key":"9289_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10601-012-9132-0","volume":"18","author":"N Beldiceanu","year":"2013","unstructured":"Beldiceanu, N., Carlsson, M., Flener, P., Pearson, J. (2013). On the reification of global constraints. Constraints, 18(1), 1\u20136.","journal-title":"Constraints"},{"issue":"2","key":"9289_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0097-3165(73)90016-2","volume":"14","author":"U Bertele","year":"1973","unstructured":"Bertele, U., & Brioschi, F. (1973). On non-serial dynamic programming. Journal of Combinatorial Theory Series A, 14(2), 137\u2013148.","journal-title":"Journal of Combinatorial Theory Series A"},{"key":"9289_CR11","volume-title":"Semirings for soft constraint solving and programming. Lecture notes in computer science, Vol. 2962","author":"S Bistarelli","year":"2004","unstructured":"Bistarelli, S. (2004). Semirings for soft constraint solving and programming. Lecture notes in computer science Vol. 2962. Berlin: Springer."},{"issue":"2","key":"9289_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F. (1997). Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2), 201\u2013236.","journal-title":"Journal of the ACM"},{"issue":"3","key":"9289_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1026441215081","volume":"4","author":"S Bistarelli","year":"1999","unstructured":"Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H. (1999). Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. Constraints, 4(3), 199\u2013240.","journal-title":"Constraints"},{"key":"9289_CR14","unstructured":"Bistarelli, S., Fung, S.K.L., Lee, J.H.M., Leung, H. (2003). A local search framework for semiring-based constraint satisfaction problems. In Proceedings of the workshop on soft constraints (Soft\u201903)."},{"key":"9289_CR15","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., Wilson, M. (1992). Constraint hierarchies. LISP and Symbolic Computation, 5, 223\u2013270.","journal-title":"LISP and Symbolic Computation"},{"key":"9289_CR16","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C Boutilier","year":"2004","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D. (2004). CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research, 21, 135\u2013191.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9289_CR17","unstructured":"Brandt, F., Conitzer, V., Endriss, U. (2013). Computational social choice. In G. Wei\u00df (Ed.) Multiagent systems, 2nd edn, chapter 6 (pp. 213\u2013283). MIT Press."},{"issue":"1","key":"9289_CR18","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.artint.2003.09.002","volume":"154","author":"MC Cooper","year":"2004","unstructured":"Cooper, M.C., & Schiex, T. (2004). Arc consistency for soft constraints. Artificial Intelligence, 154(1), 199\u2013227.","journal-title":"Artificial Intelligence"},{"issue":"7","key":"9289_CR19","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1016\/j.artint.2010.02.001","volume":"174","author":"MC Cooper","year":"2010","unstructured":"Cooper, M.C, de Givry, S., S\u00e1nchez, M., Schiex, T., Zytnicki, M., Werner, T. (2010). Soft arc consistency revisited. Artificial Intelligence, 174(7), 449\u2013478.","journal-title":"Artificial Intelligence"},{"key":"9289_CR20","unstructured":"Dalla Pozza, G., Pini, M.S., Rossi, F., Venable, K.B. (2011). Multi-agent soft constraint aggregation via sequential voting. In T. Walsh (Ed.) Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI\u201911). IJCAI\/AAAI (pp. 172\u2013177)."},{"issue":"1","key":"9289_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R Dechter","year":"1999","unstructured":"Dechter, R. (1999). Bucket elimination: a unifying framework for reasoning. Artificial Intelligence, 113(1), 41\u201385.","journal-title":"Artificial Intelligence"},{"key":"9289_CR22","volume-title":"Constraint processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R. (2003). Constraint processing. San Mateo: Morgan Kaufmann."},{"key":"9289_CR23","unstructured":"Diaconescu, R. (1994). Category-based semantics for equational and constraint logic programming. Ph.D. thesis, Oxford University, Oxford."},{"key":"9289_CR24","unstructured":"Fargier, H., & Lang, J. (1993). Uncertainty in constraint satisfaction problems: a probabilistic approach. In M. Clarke, R. Kruse, S. Moral (Eds.) Proceedings of the european conference symbolic and quantitative approaches to reasoning and uncertainty . Lecture notes in computer science (Vol. 747, pp. 97\u2013104). Berlin: Springer."},{"key":"9289_CR25","unstructured":"Fioretto, F., Pontelli, E., Yeoh, W. (2016). Distributed constraint optimization problems and applications: a survey. CoRR arXiv:\n                    1602.06347\n                    \n                  ."},{"issue":"3","key":"9289_CR26","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1145\/5666.5673","volume":"29","author":"PJ Fleming","year":"1986","unstructured":"Fleming, P.J., & Wallace, J.J. (1986). How not to lie with statistics: the correct way to summarize benchmark results. Communications of the ACM, 29(3), 218\u2013221.","journal-title":"Communications of the ACM"},{"issue":"1\u20133","key":"9289_CR27","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0004-3702(92)90004-H","volume":"58","author":"EC Freuder","year":"1992","unstructured":"Freuder, E.C., & Wallace, R.J. (1992). Partial constraint satisfaction. Artificial Intelligence, 58(1\u20133), 21\u201370.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9289_CR28","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"AM Frisch","year":"2008","unstructured":"Frisch, A.M., Harvey, W., Jefferson, C., Mart\u00ednez-Hern\u00e1ndez, B., Miguel, I. (2008). Essence: a constraint language for specifying combinatorial problems. Constraints, 13(3), 268\u2013306.","journal-title":"Constraints"},{"key":"9289_CR29","unstructured":"Gadducci, F., H\u00f6lzl, M., Monreale, G.V., Wirsing, M. (2013). Soft constraints for lexicographic orders. In F. Castro, A. Gelbukh, M. Gonz\u00e1lez (Eds.) Proceedings of the 12th Mexican international conference on artificial intelligence (MICAI\u20192013). Lecture notes in computer science (Vol. 8265, pp. 68\u201379). Berlin: Springer."},{"key":"9289_CR30","unstructured":"Google optimization tools. \n                    https:\/\/developers.google.com\/optimization\n                    \n                  . [Online, Accessed: 29 June 2017."},{"key":"9289_CR31","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/j.artint.2015.09.007","volume":"244","author":"T Guns","year":"2017","unstructured":"Guns, T., Dries, A., Nijssen, S., Tack, G., De Raedt, L. (2017). MiningZinc: a declarative framework for constraint-based mining. Artificial Intelligence, 244, 6\u201329.","journal-title":"Artificial Intelligence"},{"key":"9289_CR32","unstructured":"Hebrard, E., O\u2019Mahony, E., O\u2019Sullivan, B. (2010). Constraint programming and combinatorial optimisation in Numberjack. In A. Lodi, M. Milano, P. Toth (Eds.) Proceedings of the 7th international conference on integration of AI and OR techniques in constraint programming for combinatorial optimization problems (CPAIOR\u201910). Lecture notes in computer science (Vol. 6140, pp. 181\u2013185). Berlin: Springer."},{"key":"9289_CR33","doi-asserted-by":"crossref","unstructured":"Hosobe, H. (2009). Constraint hierarchies as semiring-based CSPs. In Proceedings of the 21st international conference on tools with artificial intelligence (ICTAI\u20192009) (pp. 176\u2013183).","DOI":"10.1109\/ICTAI.2009.43"},{"issue":"3","key":"9289_CR34","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/s10601-016-9245-y","volume":"21","author":"B Hurley","year":"2016","unstructured":"Hurley, B., O\u2019Sullivan, B., Allouche, D., Katsirelos, G., Schiex, T., Zytnicki, M, de Givry, S. (2016). Multi-language evaluation of exact solvers in graphical model discrete optimization. Constraints, 21(3), 413\u2013434.","journal-title":"Constraints"},{"key":"9289_CR35","unstructured":"Junker, U. (2009). Outer branching: how to optimize under partial orders? In V. Barichard, M. Ehrgott, X. Gandibleux, V. T\u2019Kindt (Eds.) Proceedings of the 7th international conference on multiobjective programming and goal programming (MOPGP\u201906). Lecture notes in economics and mathematical systems (Vol. 618, pp. 99\u2013109). Berlin: Springer."},{"key":"9289_CR36","unstructured":"Jussien, N., Rochart, G., Lorca, X. (2008). Choco: an open-source Java constraint programming library. In Proceedings of the workshop on open-source software for integer and constraint programming (OSSICP\u201908) (pp. 1\u201310)."},{"key":"9289_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17280-9","volume-title":"Working with preferences: less is more","author":"S Kaci","year":"2011","unstructured":"Kaci, S. (2011). Working with preferences: less is more. Berlin: Springer."},{"key":"9289_CR38","unstructured":"Kie\u00dfling, W., & K\u00f6stler, G. (2002). Preference SQL: design, implementation, experiences. In Proceedings of the 28th international conference on very large data bases (VLDB\u201902) (pp. 990\u20131001). San Mateo: Morgan Kaufmann."},{"key":"9289_CR39","doi-asserted-by":"crossref","unstructured":"Knapp, A., Schiendorfer, A., Reif, W. (2014). Quality over quantity in soft constraints. In Proceedings of the 26th international conference on tools with artificial intelligence (ICTAI\u20192014) (pp. 453\u2013460).","DOI":"10.1109\/ICTAI.2014.75"},{"key":"9289_CR40","unstructured":"Kuchcinski, K., & Szymanek, R. (2013). JaCoP\u2014Java constraint programming solver. In Proceedings of the workshop on CP solvers: modeling, applications, integration, and standardization."},{"key":"9289_CR41","unstructured":"Leenen, L., Anbulagan, A, Meyer, T., Ghose, A.K. (2007). Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT. In M.A. Orgun, & J. Thornton (Eds.) Proceedings of the 20th Australian joint conference on artificial intelligence. Lecture Notes in Computer Science (Vol. 4830, pp. 202\u2013212). Berlin: Springer."},{"key":"9289_CR42","unstructured":"Mears, C., Schutt, A., Stuckey, P.J., Tack, G., Marriott, K., Wallace, M. (2014). Modelling with option types in MiniZinc. In H. Simonis (Ed.) Proceedings of the 11th international conference on integration of artificial intelligence and operations research techniques in constraint programming (CPAIOR\u201914), Lecture notes in computer science (Vol. 8451, pp. 88\u2013103). Berlin: Springer."},{"key":"9289_CR43","unstructured":"Meseguer, P., Rossi, F., Schiex, T. (2006). Soft constraints. In F. Rossi, P. van Beek, T. Walsh (Eds.) Handbook of constraint programming, chap. 9. Amsterdam: Elsevier."},{"key":"9289_CR44","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G. (2007). MiniZinc: towards a standard CP modelling language. In C. Bessi\u00e8re (Ed.) Proceedings of the 13th international conference on principles and practice of constraint programming (CP\u201907). Lecture notes in computer science (Vol. 4741, pp. 529\u2013543). Berlin: Springer."},{"key":"9289_CR45","unstructured":"Nisan, N., & Ronen, A. (1999). Algorithmic mechanism design. In J.S. Vitter, L.L. Larmore, F.T. Leighton (Eds.) Proceedings of the 31st annual ACM symposium on theory of computing (STACS\u201999) (pp. 129\u2013140). ACM."},{"key":"9289_CR46","doi-asserted-by":"crossref","unstructured":"Petit, T., R\u00e9gin, J.C., Bessi\u00e8re, C. (2000). Meta-constraints on violations for over constrained problems. In Proceedings of the 12th international conference on tools with artificial intelligence (ICTAI\u201900) (pp. 358\u2013365).","DOI":"10.1109\/TAI.2000.889894"},{"key":"9289_CR47","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic category theory for computer scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce, B.C. (1991). Basic category theory for computer scientists. Cambridge: MIT Press."},{"key":"9289_CR48","unstructured":"Rendl, A., Tack, G., Stuckey, P.J. (2014). Stochastic MiniZinc. In B. O\u2019Sullivan (Ed.) Proceedings of the 20th international conference on principles and practice of constraint programming (CP\u201914), Lecture Notes in Computer Science (Vol. 8656, pp. 636\u2013645). Berlin: Springer."},{"key":"9289_CR49","doi-asserted-by":"crossref","unstructured":"Rendl, A., Guns, T., Stuckey, P.J., Tack, G. (2015). MiniSearch: a solver-independent meta-search language for MiniZinc. In G. Pesant (Ed.) Proceedings of the 21st international conference on constraint programming (CP\u201915), Lecture Notes in Computer Science (Vol. 9255, pp. 376\u2013392).","DOI":"10.1007\/978-3-319-23219-5_27"},{"key":"9289_CR50","unstructured":"Roll\u00f3n, E. (2008). Multi-objective optimization in graphical models. Ph.D. thesis, Universitat Polit\u00e8cnica de Catalunya, Barcelona."},{"key":"9289_CR51","unstructured":"Rossi, F., & Pilan, I. (2003). Abstracting soft constraints: Some experimental results on fuzzy CSPs. In K.R. Apt, F. Fages, F. Rossi, P. Szeredi, J. V\u00e1ncza (Eds.) Selected papers joint ERCIM\/CologNET international workshop on constraint solving and constraint logic programming (CSCLP\u201903). Lecture notes in computer science (Vol. 3010, pp. 107\u2013123). Berlin: Springer."},{"key":"9289_CR52","doi-asserted-by":"crossref","unstructured":"Ruttkay, Z. (1994). Fuzzy constraint satisfaction. In Proceedings of the 3rd IEEE international fuzzy systems conference (pp. 1263\u20131268). IEEE.","DOI":"10.1109\/FUZZY.1994.343640"},{"key":"9289_CR53","unstructured":"S\u00e1nchez, M., Allouche, D, de Givry, S., Schiex, T. (2009). Russian doll search with tree decomposition. In C. Boutilier (Ed.) Proceedings of the 21st international joint conference on artificial intelligence (IJCAI\u201909) (pp. 603\u2013608)."},{"key":"9289_CR54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of algebraic specification and formal software development. EATCS monographs in theoretical computer science","author":"D Sannella","year":"2012","unstructured":"Sannella, D., & Tarlecki, A. (2012). Foundations of algebraic specification and formal software development. EATCS monographs in theoretical computer science. Berlin: Springer."},{"key":"9289_CR55","unstructured":"Schiendorfer, A., Stegh\u00f6fer, J.P., Knapp, A., Nafz, F., Reif, W. (2013). Constraint relationships for soft constraints. In M. Bramer, & M. Petridis (Eds.) Proceedings of the 33rd SGAI international conference on innovative techniques and applications of artificial intelligence (AI\u201913) (pp. 241\u2013255). Berlin: Springer."},{"key":"9289_CR56","unstructured":"Schiendorfer, A., Stegh\u00f6fer, J.P., Reif, W. (2014). Synthesis and abstraction of constraint models for hierarchical resource allocation problems. In Proceedings of the 6th international conference on agents and artificial intelligence (ICAART\u201914) (Vol. 2, pp. 15\u201327). SciTePress."},{"key":"9289_CR57","unstructured":"Schiendorfer, A., Knapp, A., Stegh\u00f6fer, J.P., Anders, G., Siefert, F., Reif, W. (2015). Partial valuation structures for qualitative soft constraints. In R.D. Nicola, & R. Hennicker (Eds.) Software, services and systems\u2014essays dedicated to Martin Wirsing on the occasion of his emeritation, Lecture Notes in Computer Science (Vol. 8950, pp. 115\u2013133). Berlin: Springer."},{"key":"9289_CR58","unstructured":"Schiex, T., Fargier, H., Verfaillie, G. (1995). Valued constraint satisfaction problems: hard and easy problems. In Proceedings of the 14th international conference on artificial intelligence (IJCAI\u201995) (Vol. 1, pp. 631\u2013639). San Mateo: Morgan Kaufmann."},{"key":"9289_CR59","unstructured":"Schulte, C., Lagerkvist, M.Z., Tack, G. (2006). Gecode: generic constraint development environment. In INFORMS annual meeting."},{"issue":"5","key":"9289_CR60","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1109\/TPAMI.1981.4767144","volume":"3","author":"LG Shapiro","year":"1981","unstructured":"Shapiro, L.G., & Haralick, R.M. (1981). Structural descriptions and inexact matching. IEEE Transactions on Pattern Analysis and Machine Intelligence, 3(5), 504\u2013519.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"9289_CR61","unstructured":"Shaw, P. (1998). Using constraint programming and local search methods to solve vehicle routing problems. In M.J. Maher, & J.F. Puget (Eds.) Proceedings of the 4th international conference on principles and practice of constraint programming (CP\u201998). lecture notes in computer science (Vol. 1520, pp. 417\u2013431). Berlin: Springer."},{"key":"9289_CR62","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811654","volume-title":"Multiagent systems: algorithmic, game-theoretic, and logical foundations","author":"Y Shoham","year":"2008","unstructured":"Shoham, Y., & Leyton-Brown, K. (2008). Multiagent systems: algorithmic, game-theoretic, and logical foundations. Cambridge: Cambridge University Press."},{"key":"9289_CR63","unstructured":"Stuckey, P.J., & Tack, G. (2013). MiniZinc with functions. In C.P. Gomes, & M. Sellmann (Eds.) Proceedings of the 10th international conference on integration of artificial intelligence and operations research techniques in constraint programming (CPAIOR\u201913). Lecture Notes in Computer Science (Vol. 7874, pp. 268\u2013283). Berlin: Springer."},{"key":"9289_CR64","unstructured":"Stuckey, P.J, de la Banda, M.G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M., Walsh, T. (2005). The G12 project: mapping solver independent models to efficient solutions. In P. van Beek (Ed.) Proceedings of the 11th international conference on principles and practice of constraint programming (CP\u201905), Lecture Notes in Computer Science (Vol. 3709, pp. 13\u201316). Berlin: Springer."},{"issue":"2","key":"9289_CR65","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1609\/aimag.v35i2.2539","volume":"35","author":"PJ Stuckey","year":"2014","unstructured":"Stuckey, P.J., Feydy, T., Schutt, A., Tack, G., Fischer, J. (2014). The MiniZinc challenge 2008\u20132013. AI Magazine, 35(2), 55\u201360.","journal-title":"AI Magazine"},{"key":"9289_CR66","volume-title":"The OPL optimization programming language","author":"P Hentenryck van","year":"1999","unstructured":"van Hentenryck, P. (1999). The OPL optimization programming language. Cambridge: MIT Press."},{"key":"9289_CR67","unstructured":"van Hoeve, W.J. (2011). Over-constrained problems. In M. Milano, & P. van Hentenryck (Eds.) Hybrid optimization, optimization and its applications (Vol. 45, pp. 191\u2013225). Berlin: Springer."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-018-9289-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-018-9289-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-018-9289-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T19:06:10Z","timestamp":1562267170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-018-9289-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,5]]},"references-count":67,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["9289"],"URL":"https:\/\/doi.org\/10.1007\/s10601-018-9289-2","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,5]]},"assertion":[{"value":"5 July 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}