Sotabase

Career

· Graduate Student, KU Leuven
· Researcher, Vrije Universiteit Brussel

Publications (8)

Static Symmetry and Dominance Breaking for Pseudo-Boolean Optimization ⋆
2022
1
cited
Symmetry and Dominance Breaking for Pseudo-Boolean Optimization
BNAIC/BENELEARN · 2022
1
cited
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2025
SAT-Based Enumeration Of Solutions To The Yang-Baxter Equation
Sotabase
Daimy Van Caudenberg | Researcher Profile | Sotabase | Sotabase