This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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)