A. Pavan, K. S. Meel, N. V. Vinodchandran, and A. Bhattacharyya, “Constraint Optimization over Semirings”, AAAI, vol. 37, no. 4, pp. 4070–4077, Jun. 2023.