Name: Technical Session (2): MaxSAT
Start: 2016-09-06T16:00:00+0200
End: 2016-09-06T16:50:00+0200

Back To Schedule

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

Christophe Lecoutre

CRIL - CNRS

Speakers

John Goffinet

Davidson College

University of Lisbon

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