Adrian Rebola-Pardo
Adrian Rebola-Pardo
Affiliation: Vienna University of Technology, Austria\\ Johannes Kepler University Linz, Austria
Affiliation: TU Wien, JKU Linz
Affiliation: Vienna University of Technology, Austria
Talks
(WHOOPS)
Trimming Pseudo-Boolean Proofs · Papers 1
(WHOOPS)
Proving back and forth with the same rules · Papers 1
(PoS)
Trimming Pseudo-Boolean Proofs · Session 1: Proofs
Pages in this Program
Program
Program on Sunday, 19 July 2026
WHOOPS on Sunday, 19 July 2026
WHOOPS Program
PoS on Sunday, 19 July 2026
PoS Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑