SAT 2023: 26TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
PROGRAM FOR FRIDAY, JULY 7TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

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
09:30-10:00
Long-Hin Fung, Tony Tan
10:00-10:30
Ilario Bonacina, María-Luisa Bonet, Jordi Levy
14:20-14:40
Florian Pollitt, Mathias Fleury, Armin Biere
14:40-15:00
Armin Biere, Nils Froleyks, Wenxi Wang
15:00-15:20
K. Fazekas, A. Niemetz, M. Preiner, M. Kirchweger, S. Szeider, A. Biere
15:50-17:20 Competition Prizes
17:30-19:00 Business Meeting