"Three Is a Crowd: SAT, SMT and CLP on a Chessboard."

Sebastian Krings et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics