1 citations · 1 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025★ 1 cited
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Markus Anders, Bart Bogaerts, Benjamin Bogø +8
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs…
cs.LO2025
Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin
We tackle the problem of enumerating set-theoretic solutions to the Yang-Baxter equation. This equation originates from statistical and quantum mechanics, but also has applications…