Robert Nieuwenhuis. SAT-Based Techniques for Integer Linear Constraints. In Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov, editors, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. Volume 36 of EPiC Series in Computing, pages 1-13, EasyChair, 2015. [doi]
Abstract is missing.