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
Pages in this Program
Trimming Pseudo-Boolean Proofs
Proving back and forth with the same rules
Trimming Pseudo-Boolean Proofs
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑