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]
Abstract is missing.