Journal article (2015) - SV Albrecht (author), JL Christopher (author), S Ganzfried (author), M Lindauer (author), MC Machado (author), Y Malitsky (author), G Marcus (author), S.A. Meijer (author), Sebastiaan Meijer (author), SA Meijer (author), Sebastiaan A. Meijer (author), F Rossi (author), A Shaban-Nejad (author), S Thiebaux (author), M Veloso (author), DL Buckeridge (author), T Walsh (author), C. Wang (author), J Zhang (author), J. Zhang (author), Y. Zheng (author), A Botea (author), C Caragea (author), C Chi (author), T Damoulas (author), B Dilkina (author), E Eaton (author), P Fazli (author)

Conference paper (2010) - M.J.H. Heule (author), MJH Heule (author), T Walsh (author)

Conference paper (2010) - M.J.H. Heule (author), MJH Heule (author), T Walsh (author)