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
Tuesday, September 6 • 16:00 - 16:50
Technical Session (2): MaxSAT
    See presentations
  • 16:00-16:25 Jack Goffinet and Raghuram Ramanujan. Monte-Carlo Tree Search for the Maximum Satisfiability Problem

  • 16:25-16:50 Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev and Mayur Naik. On Incremental Core-Guided MaxSAT Solving

Moderators
Speakers
JG

John Goffinet

Davidson College
AI

Alexey Ignatiev

University of Lisbon


Tuesday September 6, 2016 16:00 - 16:50
Grand Amphi Lascrosses building

Attendees (6)