Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cpaior/MearsSSTMW14
%A Mears, Christopher
%A Schutt, Andreas
%A Stuckey, Peter J.
%A Tack, Guido
%A Marriott, Kim
%A Wallace, Mark
%B CPAIOR
%D 2014
%E Simonis, Helmut
%I Springer
%K dblp
%P 88-103
%T Modelling with Option Types in MiniZinc.
%U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2014.html#MearsSSTMW14
%V 8451
%@ 978-3-319-07045-2
@inproceedings{conf/cpaior/MearsSSTMW14,
added-at = {2017-12-19T00:00:00.000+0100},
author = {Mears, Christopher and Schutt, Andreas and Stuckey, Peter J. and Tack, Guido and Marriott, Kim and Wallace, Mark},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2da41f40bf1416d1145d8f674ae16ffef/dblp},
booktitle = {CPAIOR},
crossref = {conf/cpaior/2014},
editor = {Simonis, Helmut},
ee = {https://doi.org/10.1007/978-3-319-07046-9_7},
interhash = {aa71ba0c8c1efe333291b4d62790fde1},
intrahash = {da41f40bf1416d1145d8f674ae16ffef},
isbn = {978-3-319-07045-2},
keywords = {dblp},
pages = {88-103},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T12:33:22.000+0200},
title = {Modelling with Option Types in MiniZinc.},
url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2014.html#MearsSSTMW14},
volume = 8451,
year = 2014
}