TIME |
SUNDAY |
MONDAY |
TUESDAY |
WEDNESDAY |
THURSDAY |
9:00 |
Opening |
Session 4: |
Invited Talk: |
Session 8: |
|
9:20 |
Session 1: |
Algorithms & |
Stephen Cook |
Bounded Model |
|
|
Hard Instances |
Bounds II |
Checking |
||
10:15 |
break |
break | break | break | |
10:50 |
Session 2: |
Session 5: | Session 7: | Session 9: | |
SAT Solvers | Prop. of Formulae | Non-CNF II | QBF | ||
& Non-Boolean | |||||
12:30 |
break | break | break | break | |
14:00 |
Excursion | ||||
14:20 |
Invited Talk: | Poster | & Banquet | Poster | |
Ken McMillan | Overview | Overview | |||
Session I | Session II | ||||
15:20 |
break | Poster | Poster | ||
15:50 |
Session 3: | Session I | Session II | ||
Algorithms & | |||||
16:20 |
Bounds I | Session 6: | |||
16:40 |
SAT Competition | Non-CNF I | |||
& QBF Eval. | |||||
18:00 |
|||||
19:00 |
Reception | ||||
21:00 |
|||||
00:30 |