Three is a crowd: SAT, SMT and CLP on a chessboard

January 2018 · Sebastian Krings · 20th International Symposium on Practical Aspects of Declarative Languages