CSPSAT PROGRAM
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 86H: Tutorial and a contributed talk
Location: MB, Zeichensaal 15
08:45 | Tutorial (tentative): TBA (abstract) |
09:45 | SAT Compilation for Constraints over Finite Structured Domains (abstract) |
10:15-10:45Coffee Break
10:45-12:45 Session 90AP: Invited talk and two contributed talks
Location: MB, Zeichensaal 15
10:45 | Invited talk: MaxSat and SoftCSPs (abstract) |
11:45 | Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms (abstract) |
12:15 | BreakIDGlucose: on the importance of row symmetry (abstract) |
13:00-14:30Lunch Break
16:00-16:30Coffee Break