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

View: with abstractssession overview

9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
09:30-10:00
Junping Zhou, Jiaxin Liang, Minghao Yin, Bo He
10:00-10:20
Pedro Orvalho, Vasco Manquinho, Ruben Martins
10:50-11:20
Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
11:50-12:20
Benjamin Böhm, Olaf Beyersdorff
12:20-12:40
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol