C Hartman, MJH Heule, K Kwekkeboom, A Noels (2013), Symmetry in gardens of Eden, In The Electronic Journal of Combinatorics Volume 20 p.1-19.

F Dechesne, H Hattori, AW ter Mors, JM Such, D Weyns, F Dignum (Eds.) (2012), Advanced Agent Technology: Revised selected papers AAMAS 2011 Workshops, Springer.

J Jiang, B Huisman, V Dignum (2012), Agent-based multi-organizational interaction design: A case study of the Dutch railway system, N Zhong, Z Gong et al (Eds.), In Proceedings 2012 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology p.196-203, IEEE.

M Cap, P Novak, JVM Pechoucek (2012), Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding, M Bhatt, HW Guesgen, E Davis (Eds.), In Spatio-Temporal Dynamics (STeDy 2012), Workshop Proceedings of the European Conference on Articial Intelligence (ECAI 2012), Montpellier, France p.18-25, ECAI.

N Manthey, MJH Heule, A Biere (2012), Automated Reencoding of Boolean Formulas, sn (Eds.), In Proceedings of Haifa Verification Conference 2012 p.1-16, Springer.

R Sharma, MTJ Spaan (2012), Bayesian Game Based Fuzzy Reinforcement Learning Control for Decentralized POMDPs, In IEEE Transactions on Computational Intelligence and AI in Games Volume 4 p.309-328.

AW ter Mors, C Witteveen (2012), Comparing Context-Aware Routing and Local Intersection Management, JWHM Uiterwijk, N Roos, MHM Winands (Eds.), In Proceedings of the 24th Benelux Conference on Artificial Intelligence p.186-194.

LR Planken, MM de Weerdt, PJ van der Krogt (2012), Computing all-pairs shortest paths by leveraging low treewidth, In The Journal of Artificial Intelligence Research Volume 43 p.353-388.

P van der Tak, MJH Heule, A Biere (2012), Concurrent Cube-and-Conquer, A Cimatti, R Sebastiani (Eds.), In Theory and Applications of Satisfiability Testing ¿ SAT 2012 p.475-476, Springer.

MJH Heule, O Kullmann, S. Wieringa, A Biere (2012), Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads, sn (Eds.), In Haifa Verification Conference 2011 p.50-65, Springer.