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
Wednesday, September 7 • 13:35 - 14:50
Journal-First and Sister Conferences session (2): Consistencies
    See presentations
  • 13:35-14:00 Martin Cooper and Stanislav Živný. The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

  • 14:00-14:25 Chavalit Likitvivatanavong, Wei Xia and Roland H. C. Yap. Decomposition of the Factor Encoding for CSPs

  • 14:25-14:50 Christophe Lecoutre, Chavalit Likitvivatanavong and Roland Yap. STR3: A Path-Optimal Filtering Algorithm for Table Constraints

Moderators
avatar for Peter Stuckey

Peter Stuckey

Professor, University of Melbourne and Data61
Peter Stuckey is a Professor in Computer Science at the University of Melbourne. His research interests focus on constraints and constraint solving, which has widespread use in discrete optimization, program analysis, constraint based graphics, and bioinformatics. He has a long standing interest in (constraint) programming/modelling languages having helped develop CLP(R), HAL, Zinc and MiniZinc.

Speakers
avatar for Martin Cooper

Martin Cooper

IRIT, University of Toulouse 3
avatar for Roland Yap

Roland Yap

National University of Singapore


Wednesday September 7, 2016 13:35 - 14:50
Amphi Bosco Bosco building

Attendees (8)