Pavan, A. (2023) “Constraint Optimization over Semirings”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), pp. 4070–4077. doi: 10.1609/aaai.v37i4.25522.