TY - RPRT TI - Soft constraint abstraction based on semiring homomorphism AU - Sanjiang Li AU - Mingsheng Ying PY - 2007 DO - 10.1016/j.tcs.2008.03.029 UR - https://arxiv.org/abs/0705.0734 ID - 0705.0734 ER -