MiniZinc with functions

Peter James Stuckey; Guido Tack

MiniZinc with functions

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 Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Proceedings
Editors	Carla Gomes, Meinolf Sellmann
Place of Publication	Berlin Germany
Publisher	Springer-Verlag London Ltd.
Pages	268 - 283
Number of pages	16
ISBN (Print)	9783642381706
Publication status	Published - 2013
Event	International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2013 - Yorktown Heights, United States of America Duration: 18 May 2013 → 22 May 2013 Conference number: 10th https://link.springer.com/book/10.1007/978-3-642-38171-3 (Proceedings)

Conference

Conference	International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2013
Abbreviated title	CPAIOR 2013
Country/Territory	United States of America
City	Yorktown Heights
Period	18/05/13 → 22/05/13
Internet address	https://link.springer.com/book/10.1007/978-3-642-38171-3 (Proceedings)

Cite this

@inproceedings{7174627141184ea98ab73ad58b8fde10,

title = "MiniZinc with functions",

author = "Stuckey, \{Peter James\} and Guido Tack",

year = "2013",

language = "English",

isbn = "9783642381706",

pages = "268 -- 283",

editor = "Carla Gomes and Meinolf Sellmann",

booktitle = "Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Proceedings",

publisher = "Springer-Verlag London Ltd.",

address = "Germany",

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

url = "https://link.springer.com/book/10.1007/978-3-642-38171-3",

}

Stuckey, PJ & Tack, G 2013, MiniZinc with functions. in C Gomes & M Sellmann (eds), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Proceedings. Springer-Verlag London Ltd., Berlin Germany, pp. 268 - 283, International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2013, Yorktown Heights, New York, United States of America, 18/05/13.

MiniZinc with functions. / Stuckey, Peter James ; Tack, Guido.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Proceedings. ed. / Carla Gomes; Meinolf Sellmann. Berlin Germany: Springer-Verlag London Ltd., 2013. p. 268 - 283.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - MiniZinc with functions

AU - Stuckey, Peter James

AU - Tack, Guido

N1 - Conference code: 10th

PY - 2013

Y1 - 2013

M3 - Conference Paper

SN - 9783642381706

SP - 268

EP - 283

BT - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Proceedings

A2 - Gomes, Carla

A2 - Sellmann, Meinolf

PB - Springer-Verlag London Ltd.

CY - Berlin Germany

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

Y2 - 18 May 2013 through 22 May 2013

ER -