Sotabase

Career

· PhD Student, KU Leuven2025–2029
· Master Burgerlijk Ingenieur, KU Leuven
· Researcher, KU Leuven

Publications (2)

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis
International Conference on Theory and Applications of Satisfiability Testing · 2025
1
cited
Sotabase
Orestis Lomis | Researcher Profile | Sotabase | Sotabase