Semiring-based constraint solving and optimization