Optimization Group Meetings
The goal of the Literature Sessions is to examine and discuss particularly interesting papers from the research literature. For each session, one paper will be selected, there will be a short presentation (10-15 minutes) about the contents, and a discussion will ensue. Sessions will last around 40-45 minutes. Attendants should read the paper before the session in order to have a productive discussion.
- Book a room (ask Muriel).
- Send an email to the responsible of Optimization Meetings. Mention your name, the date, time and room, a reference to the paper and the URL where it can be obtained. Also, attach the paper in PDF.
- Add a new entry to the table below.
History of Literature Sessions
|2009-12-11||Manuel LÃ³pez-IbÃ¡Ã±ez||SATenstein: Automatically Building Local Search SAT Solvers From Components. Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos and Kevin Leyton-Brown - Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pp. 517-524, 2009. |
|2010-01-14||JÃ©rÃ©mie Dubois-Lacoste||SATzilla: Portfolio-based Algorithm Selection for SAT. L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown - Journal of Artificial Intelligence
Research, Volume 32, pp. 565â606, 2008.