Modelling with option types in MiniZinc

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

doi:10.1007/9783319070469_ 7

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 proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings
Editors	Helmut Simonis
Place of Publication	Cham Switzerland
Publisher	Springer
Pages	88 - 103
Number of pages	16
ISBN (Print)	9783319070452
DOIs	https://doi.org/10.1007/9783319070469_ 7
Publication status	Published - 2014
Event	International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2014 - Cork, Ireland Duration: 19 May 2014 → 23 May 2014 Conference number: 11th http://www.springer.com/la/book/9783319070452 (Conference Proceedings)

Conference

Conference	International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2014
Abbreviated title	CPAIOR 2014
Country/Territory	Ireland
City	Cork
Period	19/05/14 → 23/05/14
Internet address	http://www.springer.com/la/book/9783319070452 (Conference Proceedings)

Access to Document

10.1007/9783319070469_ 7

Cite this

@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",

address = "Switzerland",

note = "International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2014, CPAIOR 2014 ; Conference date: 19-05-2014 Through 23-05-2014",

url = "http://www.springer.com/la/book/9783319070452",

}

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 et al.
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 proceeding › Conference Paper › Research › peer-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

N1 - Conference code: 11th

PY - 2014

Y1 - 2014

UR - http://goo.gl/GIMjG6

UR - https://www.scopus.com/pages/publications/84902491489

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

T2 - International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2014

Y2 - 19 May 2014 through 23 May 2014

ER -

Modelling with option types in MiniZinc

Conference

Access to Document

Other files and links

Accurate Analysis of Combinatorial Problems: From the Particular to the General

Cite this

Modelling with option types in MiniZinc

Conference

Access to Document

Other files and links

Projects

Accurate Analysis of Combinatorial Problems: From the Particular to the General

Cite this