Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic. Three Is a Crowd: SAT, SMT and CLP on a Chessboard. In Francesco Calimeri, Kevin W. Hamlen, Nicola Leone, editors, Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings. Volume 10702 of Lecture Notes in Computer Science, pages 63-79, Springer, 2018. [doi]
@inproceedings{KringsLKHH18,
title = {Three Is a Crowd: SAT, SMT and CLP on a Chessboard},
author = {Sebastian Krings and Michael Leuschel and Philipp Körner and Stefan Hallerstede and Miran Hasanagic},
year = {2018},
doi = {10.1007/978-3-319-73305-0_5},
url = {https://doi.org/10.1007/978-3-319-73305-0_5},
researchr = {https://researchr.org/publication/KringsLKHH18},
cites = {0},
citedby = {0},
pages = {63-79},
booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
editor = {Francesco Calimeri and Kevin W. Hamlen and Nicola Leone},
volume = {10702},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-73305-0},
}