Loading…
CP 2016 has ended
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... Read More →

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)