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…