Loading…
CP 2016 has ended
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

Moderators
Speakers
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)