Symposium on Practical Aspects of Declarative Languages

• Author of Three is a crowd: SAT, SMT and CLP on a chessboard within the PADL 2018-track