Program for Wednesday, August 21st: Talk View

PROGRAM FOR WEDNESDAY, AUGUST 21ST: TALK VIEW

Days:

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

09:00-09:10 Inauguration

09:10-10:10

Models and Counter-Models of Quantified Boolean Formulas

Martina Seidl

10:45-11:15

The strength of the dominance rule

Leszek Aleksander Kołodziejczyk, Neil Thapen

11:15-11:45

Small unsatisfiable k-CNFs with bounded literal occurrence

Tianwei Zhang, Tomáš Peitl, Stefan Szeider

11:45-12:15

On Limits of Symbolic Approach to SAT Solving

Dmitry Itsykson, Sergei Ovcharov

14:00-14:30

satsuma: Structure-based Symmetry Breaking in SAT

Markus Anders, Sofia Brenner, Gaurav Rattan

14:30-15:00

Clausal Congruence Closure

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

15:00-15:30

Lazy Reimplication in Chronological Backtracking

Robin Coutelier, Mathias Fleury, Laura Kovács

16:00-16:20

eSLIM: Circuit Minimization with SAT Based Local Improvement

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

16:20-16:40

Entailing Generalization Boosts Enumeration

Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon

16:45-16:55 Address by TCS (Diamond Sponsor)

16:55-17:55 Conference Reception

18:00-19:30 Indian Cultural Program

10:15-10:45 Tea and Coffee Break

12:15-14:00 Lunch Break

15:30-16:00 Tea and Coffee Break