Özgür Akgün, Nguyen Dang 0001, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone. Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. In Emmanuel Hebrard, Nysret Musliu, editors, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings. Volume 12296 of Lecture Notes in Computer Science, pages 41-51, Springer, 2020. [doi]
Abstract is missing.