Ewan Davidson

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Search Heuristics

Constraint Programming

Constraint Satisfaction

Top Venues

Publications

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