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 • 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

Moderators
avatar for Agostino Dovier

Agostino Dovier

University of Udine

Speakers
JB

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)