Modelling with option types in MiniZinc

Christopher David Mears, Andreas Schutt, Peter James Stuckey, Guido Tack, Kimbal George Marriott, Mark Wallace

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationIntegration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings
    EditorsHelmut Simonis
    Place of PublicationCham Switzerland
    PublisherSpringer
    Pages88 - 103
    Number of pages16
    ISBN (Print)9783319070452
    DOIs
    Publication statusPublished - 2014
    EventInternational Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2014 - Cork, Ireland
    Duration: 19 May 201423 May 2014
    Conference number: 11th
    http://www.springer.com/la/book/9783319070452 (Conference Proceedings)

    Conference

    ConferenceInternational Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2014
    Abbreviated titleCPAIOR 2014
    CountryIreland
    CityCork
    Period19/05/1423/05/14
    Internet address

    Cite this

    Mears, C. D., Schutt, A., Stuckey, P. J., Tack, G., Marriott, K. G., & Wallace, M. (2014). Modelling with option types in MiniZinc. In H. Simonis (Ed.), Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings (pp. 88 - 103). Cham Switzerland: Springer. https://doi.org/10.1007/9783319070469_ 7
    Mears, Christopher David ; Schutt, Andreas ; Stuckey, Peter James ; Tack, Guido ; Marriott, Kimbal George ; Wallace, Mark. / Modelling with option types in MiniZinc. Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings. editor / Helmut Simonis. Cham Switzerland : Springer, 2014. pp. 88 - 103
    @inproceedings{72db51b4941a48f0a9d91c1d99a38c80,
    title = "Modelling with option types in MiniZinc",
    author = "Mears, {Christopher David} and Andreas Schutt and Stuckey, {Peter James} and Guido Tack and Marriott, {Kimbal George} and Mark Wallace",
    year = "2014",
    doi = "10.1007/9783319070469_ 7",
    language = "English",
    isbn = "9783319070452",
    pages = "88 -- 103",
    editor = "Helmut Simonis",
    booktitle = "Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings",
    publisher = "Springer",

    }

    Mears, CD, Schutt, A, Stuckey, PJ, Tack, G, Marriott, KG & Wallace, M 2014, Modelling with option types in MiniZinc. in H Simonis (ed.), Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings. Springer, Cham Switzerland, pp. 88 - 103, International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2014, Cork, Ireland, 19/05/14. https://doi.org/10.1007/9783319070469_ 7

    Modelling with option types in MiniZinc. / Mears, Christopher David; Schutt, Andreas; Stuckey, Peter James; Tack, Guido; Marriott, Kimbal George; Wallace, Mark.

    Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings. ed. / Helmut Simonis. Cham Switzerland : Springer, 2014. p. 88 - 103.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    TY - GEN

    T1 - Modelling with option types in MiniZinc

    AU - Mears, Christopher David

    AU - Schutt, Andreas

    AU - Stuckey, Peter James

    AU - Tack, Guido

    AU - Marriott, Kimbal George

    AU - Wallace, Mark

    PY - 2014

    Y1 - 2014

    UR - http://goo.gl/GIMjG6

    U2 - 10.1007/9783319070469_ 7

    DO - 10.1007/9783319070469_ 7

    M3 - Conference Paper

    SN - 9783319070452

    SP - 88

    EP - 103

    BT - Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings

    A2 - Simonis, Helmut

    PB - Springer

    CY - Cham Switzerland

    ER -

    Mears CD, Schutt A, Stuckey PJ, Tack G, Marriott KG, Wallace M. Modelling with option types in MiniZinc. In Simonis H, editor, Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings. Cham Switzerland: Springer. 2014. p. 88 - 103 https://doi.org/10.1007/9783319070469_ 7