SAT TALK AUTHOR INDEX
Shortcuts: A B C E F G H I J K L M N O P R S Y Z
A
Akshay, S.
(SAT)
Session H: QBF Proofs & Dependencies
Anders, Markus
(SAT)
Session E1: Best Papers
B
Beame, Paul
(SAT)
Session I: Beyond Propositional SAT
Berg, Jeremias
(SAT)
Session K: Competitions
Beyersdorff, Olaf
(SAT)
Session L: Business Meeting
(SAT)
Session M: SAT Association Awards
Biere, Armin
(SAT)
Session A: Encodings & Preprocessing
Böhm, Benjamin
(SAT)
Session G: QBF Algorithms
Bonacina, Ilario
(SAT)
Session D: MaxSAT & PB Optimization
(SAT)
Session B: Proof Systems & Complexity
C
Capelli, Florent
(SAT)
Session E2: Knowledge Compilation
Chede, Sravanthi
(SAT)
Session H: QBF Proofs & Dependencies
Chew, Leroy
(SAT)
Session H: QBF Proofs & Dependencies
Choudhury, Abhimanyu
(SAT)
Session H: QBF Proofs & Dependencies
Colnet, Alexis de
(SAT)
Session E2: Knowledge Compilation
Coutelier, Robin
(SAT)
Session F: CDCL & Parallel Solving
E
Eiter, Thomas
(SAT)
Session I: Beyond Propositional SAT
F
Fazekas, Katalin
(SAT)
Session K: Competitions
G
Ganian, Robert
(SAT)
Session G: QBF Algorithms
Gehm, Frederick
(SAT)
Session F: CDCL & Parallel Solving
Giacomo, Giuseppe De
(SAT)
Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence
Götz, Ruben
(SAT)
Session F: CDCL & Parallel Solving
Grigorjew, Andreas
(SAT)
Session G: QBF Algorithms
H
Heule, Marijn
(SAT)
Session F: CDCL & Parallel Solving
Hornos, Josep Maria Salvia
(SAT)
Session D: MaxSAT & PB Optimization
Huvar, Ondřej
(SAT)
Session J: SMT & Theory Reasoning
I
Ignatiev, Alexey
(SAT)
Invited Talk 1
(SAT)
Session K: Competitions
Ihalainen, Hannes
(SAT)
Session D: MaxSAT & PB Optimization
Iser, Ashlin
(SAT)
Session C: Solver Tools & Explanations
J
Jabs, Christoph
(SAT)
Session D: MaxSAT & PB Optimization
Jain, Sanjay
(SAT)
Session E1: Best Papers
Jin, Mingming
(SAT)
Session F: CDCL & Parallel Solving
K
Kattermann, David
(SAT)
Session H: QBF Proofs & Dependencies
Kovacs, Laura
(SAT)
Invited Talk 2
Krapivin, Andrew
(SAT)
Session A: Encodings & Preprocessing
L
Lagniez, Jean-Marie
(SAT)
Session C: Solver Tools & Explanations
Lin, Jung-Cheng
(SAT)
Session J: SMT & Theory Reasoning
Lynce, Inês
(SAT)
Session C: Solver Tools & Explanations
M
Mahajan, Meena
(SAT)
Session B: Proof Systems & Complexity
Marques-Silva, Joao
(SAT)
Invited Talk 1
Martínez-Naredo, Pablo
(SAT)
Session C: Solver Tools & Explanations
Martins, Ruben
(SAT)
Session D: MaxSAT & PB Optimization
Masina, Gabriele
(SAT)
Session J: SMT & Theory Reasoning
Meng, Qiaolan
(SAT)
Session I: Beyond Propositional SAT
Micun, Matthäus
(SAT)
Session B: Proof Systems & Complexity
N
Nadel, Alexander
(SAT)
Session A: Encodings & Preprocessing
Nieuwenhuis, Robert
(SAT)
Session C: Solver Tools & Explanations
O
Oliveras, Albert
(SAT)
Session J: SMT & Theory Reasoning
P
Peitl, Tomas
(SAT)
Session H: QBF Proofs & Dependencies
Pollitt, Florian
(SAT)
Session B: Proof Systems & Complexity
(SAT)
Session F: CDCL & Parallel Solving
Przybocki, Benjamin
(SAT)
Session A: Encodings & Preprocessing
R
Roussel, Olivier
(SAT)
Session K: Competitions
Russo, Alessandra
(SAT)
Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
S
Samar, Sahil
(SAT)
Session B: Proof Systems & Complexity
Seidl, Martina
(SAT)
Session G: QBF Algorithms
(SAT)
Session K: Competitions
Sergeys, Thomas
(SAT)
Session C: Solver Tools & Explanations
Shaw, Arijit
(SAT)
Session K: Competitions
Slivovsky, Friedrich
(SAT)
Session E2: Knowledge Compilation
Soos, Mate
(SAT)
Session I: Beyond Propositional SAT
Stuckey, Peter
(SAT)
Session E1: Best Papers
Szeider, Stefan
(SAT)
Invited Talk 2
Y
Yangli, Zhengling
(SAT)
Session D: MaxSAT & PB Optimization
Z
Zhang, Yaofang
(SAT)
Session I: Beyond Propositional SAT
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑