Jean-Marc Alliot, Charlie Vanaret. (The Final) Countdown. 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 14-26, EasyChair, 2015. [doi]
Abstract is missing.