VSL 2014: VIENNA SUMMER OF LOGIC 2014
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