Knowledge Processing and Information Systems ASP modulo CSP: The clingcon system
@inproceedings{TEMP:conf/sat/OstrowskiS12,
title = {{ASP} modulo {CSP}: The clingcon system},
author = {Ostrowski, Max and Schaub, Torsten},
booktitle = {{CSPSAT}},
year = {2012}
}