CP 2016 has ended
Back To Schedule
Wednesday, September 7 • 16:35 - 17:25
Technical Session (6): SAT
    See presentations
  • 16:35-17:00 Jeremias Berg and Matti Järvisalo. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

  • 17:00-17:25 Gilles Audemard, Jean Marie Lagniez, Nicolas Szczepanski and Sebastien Tabary. An adaptive parallel SAT solver

avatar for Gilles Audemard

Gilles Audemard

CRIL, France
avatar for Jeremias Berg

Jeremias Berg

University of Helsinki

Wednesday September 7, 2016 16:35 - 17:25
Grand Amphi Lascrosses building

Attendees (4)