POS TALK AUTHOR INDEX
Shortcuts: A B F G I J K L N O P Q R S Z
A
Adame, Berhan Oumer
(PoS)
Session 1: Proofs
B
Berg, Jeremias
(PoS)
Session 2: Optimization
Biere, Armin
(PoS)
Session 1: Proofs
(PoS)
Session 6: Encodings
Bogaerts, Bart
(PoS)
Opening
(PoS)
Session 4: Exploring Solvers and Instances
(PoS)
Closing
F
Fazekas, Katalin
(PoS)
Session 1: Proofs
Fichte, Johannes
(PoS)
Session 3: Enumeration & Counting
(PoS)
Session 6: Encodings
Fleury, Mathias
(PoS)
Session 4: Exploring Solvers and Instances
G
Guilloud, Simon
(PoS)
Session 4: Exploring Solvers and Instances
I
Ito, Kenta
(PoS)
Session 3: Enumeration & Counting
J
Justus, Edgar
(PoS)
Session 2: Optimization
K
Karthikeyan, Ashwin
(PoS)
Session 1: Proofs
L
Liu, Yuanda
(PoS)
Session 5: SAT Solver Technology
N
Nadel, Alexander
(PoS)
Session 2: Optimization
O
Olson, Wyatt
(PoS)
Session 4: Exploring Solvers and Instances
P
Pollitt, Florian
(PoS)
Session 5: SAT Solver Technology
Q
Quito, Wilber Bermeo
(PoS)
Session 4: Exploring Solvers and Instances
R
Reeves, Joseph
(PoS)
Session 1: Proofs
S
Sansone, Emanuele
(PoS)
Session 6: Encodings
Schidler, André
(PoS)
Session 5: SAT Solver Technology
Shalmon, Yogev
(PoS)
Session 5: SAT Solver Technology
Sidorov, Konstantin
(PoS)
Session 2: Optimization
Spallitta, Giuseppe
(PoS)
Session 3: Enumeration & Counting
Subercaseaux, Bernardo
(PoS)
Session 6: Encodings
Szeider, Stefan
(PoS)
Session 1: Proofs
Z
Zhulin, Maxim
(PoS)
Session 5: SAT Solver Technology
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑