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

Sebastian Krings, Michael Leuschel, Philipp Krner, Stefan Hallerstede, Miran Hasanagic

Browse the full PADL paper archive.