Scholar
Daimy Van Caudenberg
Google Scholar ID: UTNyQ9cAAAAJ
Vrije Universiteit Brussel
Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
6
H-index
1
i10-index
0
Publications
6
Co-authors
0
Publications
2 items
Towards a Certifying Grounder
2026
Cited
0
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
2025
Cited
0
