Loading…
CP 2016 has ended
Friday, September 9 • 15:30 - 16:20
Technical Session (11): SAT, SMT
    See presentations
  • 15:30-15:55 Alexey Ignatiev, Alessandro Previti and Joao Marques-Silva. On Finding Minimum Satisfying Assignments

  • 15:55-16:20 Ozgur Akgun, Ian Gent, Christopher Jefferson, Ian Miguel and Peter Nightingale. Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT

Moderators
avatar for Emmanuel Hebrard

Emmanuel Hebrard

Researcher, LAAS-CNRS
Emmanuel Hebrard is a viviparous mammal.

Speakers
AI

Alexey Ignatiev

University of Lisbon
avatar for Peter Nightingale

Peter Nightingale

University of St Andrews


Friday September 9, 2016 15:30 - 16:20
Grand Amphi Lascrosses building

Attendees (4)