Loading…
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
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)