Author:Toby Walsh

Publications
GCAI-2018. 4th Global Conference on Artificial Intelligence Daniel Lee, Alexander Steen and Toby Walsh (editors) EPiC Series in Computing, volume 55
SAT Encodings for the Car Sequencing Problem Valentin Mayer-Eichberger and Toby Walsh In:POS-13. Pragmatics of SAT 2013