Steve Prestwich, S. Armagan Tarim, Roberto Rossi. Constraint Problem Specification as Compression. In Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas, editors, GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. Volume 41 of EPiC Series in Computing, pages 280-292, EasyChair, 2016. [doi]
Abstract is missing.