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.

J Capitan, MTJ Spaan, L Merino, A Ollero (2012), Decentralized Multi-Robot Cooperation with Auctioned POMDPs, In Proceedings of the IEEE International Conference on Robotics and Automation p.3323-3328, IEEE Society.

Francisco S. Melo, Alberto Sardinha, Stefan J. Witwicki, Laura M. Ramirez-Elizondo, Matthijs T.J. Spaan (2012), Decentralized multiagent planning for balance control in smart grids, Paulo Carreira, Vasco Amaral (Eds.), In Proceedings of the 1st International Workshop on Infomation Technology for Energy Applications, IT4ENERGY2012 p.21-24.

L Volker, JCD Scharpff, MM de Weerdt, PM Herder (2012), Designing a dynamic network based approach for asset management activities, SD Smith (Eds.), In Proceedings 28th Annual ARCOM Conference p.655-664, Ass. of Researchers in Construction Management.

JC Boerkoel, LR Planken (2012), Distributed Algorithms for Incrementally Maintaining Multiagent Simple Temporal Networks, sn (Eds.), In Proceedings of the Autonomous Robots and Multirobot Systems workshop (at AAMAS-12) p.216-235.