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

Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin

Browse the full TACAS paper archive.