TY  - RPRT
TI  - Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
AU  - Daimy Van Caudenberg
AU  - Bart Bogaerts
AU  - Leandro Vendramin
PY  - 2025
DO  - 10.1007/978-3-031-90653-4_1
UR  - https://arxiv.org/abs/2501.14363
ID  - 2501.14363
ER  -