CP 2016 has ended
Back To Schedule
Monday, September 5 • 09:00 - 10:00
Doctoral Programme
    See presentations
  • 09:00: Invited talk - Helmut Simonis  
  • 09:50: Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving, Jeremias Berg and Matti Järvisalo
  • 09:55: Four-Bar Linkage Synthesis Using Non-Convex Optimization, Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio and Claude-Guy Quimper

avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven

avatar for Jeremias Berg

Jeremias Berg

University of Helsinki
avatar for Vincent Goulet

Vincent Goulet

Masters Student, Université Laval
avatar for Helmut Simonis

Helmut Simonis

Insight Centre for Data Analytics

Monday September 5, 2016 09:00 - 10:00
Amphi Bosco Bosco building

Attendees (5)