Relaxation of Soft Constraints Via a Unified Semiring

  • Peter Harvey
  • Aditya Ghose
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4013)


The semiring framework for constraint satisfaction allows us to model a wide variety of problems of choice. Semiring constraint satisfaction problems are able to represent both classical consistency and optimisation problems, as well as soft constraint problems such as valued and weight CSPs. In this paper we pose and answer the question: how can we represent and ‘solve’ the relaxation of a semiring constraint satisfaction problem?


Constraint Satisfaction Relaxation Function Soft Constraint Silver Silver Gold Silver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bistarelli, S., Freuder, E.C., O’Sullivan, B.: Encoding partial constraint satisfaction in the semiring-based framework for soft constraints. In: ICTAI, pp. 240–245. IEEE Computer Society, Los Alamitos (2004)Google Scholar
  2. 2.
    Bistarelli, S., Montanari, U., Rossi, F.: Constraint solving over semirings. In: IJCAI (1), pp. 624–630 (1995)Google Scholar
  3. 3.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint logic programming. In: IJCAI (1), pp. 352–357 (1997)Google Scholar
  4. 4.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-based csps and valued csps: Frameworks, properties, and comparison. Constraints 4(3), 199–240 (1999)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Leenen, L., Meyer, T.A., Ghose, A.K.: Relaxations of semiring constraint satisfaction problems. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, Springer, Heidelberg (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Peter Harvey
    • 1
  • Aditya Ghose
    • 1
  1. 1.Decision Systems Laboratory, School of IT and Computer ScienceUniversity of WollongongAustralia

Personalised recommendations