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, }