@inproceedings{TEMP:dc/lpnmr/Ostrowski17, title = {Modern Constraint Answer Set Solving}, author = {Ostrowski, Max}, booktitle = {DC@LPNMR}, pages = {22--27}, year = {2017} }