@misc{indiciae9270df4ad786,
  title = {Soft constraint abstraction based on semiring homomorphism},
  author = {Sanjiang Li and Mingsheng Ying},
  year = {2007},
  doi = {10.1016/j.tcs.2008.03.029},
  url = {https://arxiv.org/abs/0705.0734},
  note = {Source identifier: 0705.0734}
}