MODREF2022 PROGRAM
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-09:40 Session 1B: Invited talk -- dr. Ruth Hoffman
09:00 | Constraint modelling and solving: Learning from observing people |
09:40-10:30 Session 5: Paper presentations
09:40 | Solving XCSP3 constraint problems using tools from software verification (abstract) |
10:05 | Constraint-based Part-of-Speech Tagging (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 7D: Paper presentations
11:00 | A portfolio-based analysis method for competition results (abstract) |
11:25 | Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended abstract) (abstract) |
11:50 | Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization (abstract) |
12:30-14:00Lunch Break
14:00-14:40 Session 11G: Invited talk -- dr. Nguyen Dang
14:00 | A Constraint-Based Tool for Generating Benchmark Instances (abstract) |
15:30-16:00Coffee Break