Pavan, A.; Meel, K. S.; Vinodchandran, N. V.; Bhattacharyya, A. Constraint Optimization over Semirings. AAAI 2023, 37, 4070-4077.