STRUCTSAT 2016 PROGRAM
Monday, July 4th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:30 Session 1: Reception desk
Location: Labri Main Entrance
09:30-10:30 Session 3B: Presentations I
Location: Room 4 First floor, building A29
| 09:30 | Using Decomposition-Parameters for QBF: Mind the Prefix! ( abstract ) |
| 10:00 | Pseudo-Industrial Random SAT Generators ( abstract ) |
10:30-11:00Coffee Break
11:00-12:30 Session 4C: Presentations II
Location: Room 4 First floor, building A29
| 11:00 | Experiments with CNF Structure and Hardness ( abstract ) |
| 11:30 | Structure-based knowledge compilation: the singular case of $\beta$-acyclic formulas ( abstract ) |
| 12:00 | Minimal unsatisfiability and deficiency: recent developments ( abstract ) |
12:30-14:00Lunch Break
14:00-15:00 Session 5C: Presentations III
Location: Room 4 First floor, building A29
| 14:00 | CNF Encoding of Cardinality Constraints via Tree-Decomposition ( abstract ) |
| 14:30 | Complexity and Approximability for Parameterized MAXCSPs ( abstract ) |
15:00-15:30Coffee Break
15:30-16:30 Session 6C: Keynote STRUCTSAT
Invited Talk
Location: Room 4 First floor, building A29
| 15:30 | Capturing Structure in SAT and Related Problems ( abstract ) |