Difference between revisions of "Optimization Group Meetings"
From IridiaWiki
Jump to navigationJump to searchJeremie.DL (talk | contribs) |
Jeremie.DL (talk | contribs) |
||
| Line 25: | Line 25: | ||
!width="200"|Presenter |
!width="200"|Presenter |
||
!Paper discussed |
!Paper discussed |
||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |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. [http://www.cs.ubc.ca/labs/beta/Projects/SATenstein/SATenstein_ijcai.pdf] |
||
|- |
|- |
||
|2010-01-14 |
|2010-01-14 |
||
| Line 34: | Line 30: | ||
|SATzilla: Portfolio-based Algorithm Selection for SAT. L. Xu, F. Hutter, H. H. Hoos, K. Leyton-Brown - Journal of Artificial Intelligence |
|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. [http://www.jair.org/media/2490/live-2490-3923-jair.pdf] |
Research, Volume 32, pp. 565â606, 2008. [http://www.jair.org/media/2490/live-2490-3923-jair.pdf] |
||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |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. [http://www.cs.ubc.ca/labs/beta/Projects/SATenstein/SATenstein_ijcai.pdf] |
||
|} |
|} |
||
Revision as of 14:18, 8 January 2010
Literature Sessions
Purpose
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.
Organization
- 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
| Date | Presenter | Paper discussed |
|---|---|---|
| 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. [1] |
| 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. [2] |
