Effective Encodings of Constraint Programming Models to SMT. - Ewan Davidson; Özgür Akgün; Joan Espasa; Peter Nightingale (CP, 2020)