Daimy Van Caudenberg

According to our database, Daimy Van Caudenberg authored at least 2 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation.

Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2022

Symmetry and Dominance Breaking for Pseudo-Boolean Optimization.

Daimy Van Caudenberg, Bart Bogaerts

Proceedings of the Artificial Intelligence and Machine Learning, 2022