Optimization Group Meetings

From IridiaWiki
(Difference between revisions)
Jump to: navigation, search
Line 25: Line 25:
 
!width="200"|Presenter
 
!width="200"|Presenter
 
!Paper discussed
 
!Paper discussed
|-
 
|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. [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]
  +
|-
  +
|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. [http://www.cs.ubc.ca/labs/beta/Projects/SATenstein/SATenstein_ijcai.pdf]
 
|}
 
|}
   

Revision as of 14:18, 8 January 2010

Contents

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

  1. Book a room (ask Muriel).
  2. 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.
  3. 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]


Other Previous Meetings

See Minutes and agendas from previous meetings.

Personal tools