Max Ostrowski
ASP modulo CSP: The clingcon system
ICLP, 2012.
@inproceedings{ICLP-2012-Ostrowski,
author = "Max Ostrowski",
booktitle = "{Technical Communications of the 28th International Conference on Logic Programming}",
doi = "10.4230/LIPIcs.ICLP.2012.458",
isbn = "978-3-939897-43-9",
pages = "458--463",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{ASP modulo CSP: The clingcon system}",
volume = 17,
year = 2012,
}











