FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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