Modelling with Option Types in MiniZinc

Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace. Modelling with Option Types in MiniZinc. In Helmut Simonis, editor, Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings. Volume 8451 of Lecture Notes in Computer Science, pages 88-103, Springer, 2014. [doi]

Abstract

Abstract is missing.