CP 2016 has ended
Back To Schedule
Wednesday, September 7 • 15:20 - 16:35
Technical Session (4): Theory
    See presentations
  • 15:20-15:45 Joshua Blinkhorn and Olaf Beyersdorff. Dependency Schemes in QBF Calculi: Semantics and Soundness

  • 15:45-16:10 Michael Codish, Graeme Gange, Avi Itzhakov and Peter J. Stuckey. Breaking Symmetries in Graphs: The Nauty Way

  • 16:10-16:35 David Bergman and André Augusto Ciré. Multiobjective Optimization by Decision Diagrams

avatar for Agostino Dovier

Agostino Dovier

University of Udine


Joshua Blinkhorn

University of Leeds
avatar for André Augusto Ciré

André Augusto Ciré

University of Toronto
avatar for Michael Codish

Michael Codish

Ben Gurion University

Wednesday September 7, 2016 15:20 - 16:35
Grand Amphi Lascrosses building

Attendees (7)