Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer. Connecting ABT with a SAT Solver. In David Pearce 0001, Helena Sofia Pinto, editors, STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium, The Hague, The Netherlands, August 29-30, 2016. Volume 284 of Frontiers in Artificial Intelligence and Applications, pages 179-184, IOS Press, 2016. [doi]
Abstract is missing.