@conference{
	11391_142684,
	author = {Bistarelli, Stefano and Fruewirth, Thom and Marte, Michael and Rossi, Francesca},
	title = {Soft Constraint Propagation and Solving in CHR},
	year = {2002},
	publisher = {ACM Press},
	booktitle = {Proceedings of the 2002 ACM Symposium on Applied Computing (SAC)},
	abstract = {Soft constraints are a generalization of classical constraints,
where constraints and/or partial assignments are associated
to preference or importance levels, and constraints are combined
according to combinators which express the desired
optimization criteria. Constraint Handling Rules (CHRs)
constitute a high-level natural formalism to specify constraint
solvers and propagation algorithms. In this paper
we present a framework to design and specify soft constraint
solvers by using CHRs. In this way, we extend the range of
applicability of CHRs to soft constraints rather than just
classical ones, and we provide a straightforward implementation
for soft constraint solvers.},
	pages = {1--5}
}

{"_id":"TPFTjBsnhSb8MxdoN","bibbaseid":"bistarelli-fruewirth-marte-rossi-softconstraintpropagationandsolvinginchr-2002","author_short":["Bistarelli, S.","Fruewirth, T.","Marte, M.","Rossi, F."],"bibdata":{"bibtype":"conference","type":"conference","author":[{"propositions":[],"lastnames":["Bistarelli"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Fruewirth"],"firstnames":["Thom"],"suffixes":[]},{"propositions":[],"lastnames":["Marte"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Rossi"],"firstnames":["Francesca"],"suffixes":[]}],"title":"Soft Constraint Propagation and Solving in CHR","year":"2002","publisher":"ACM Press","booktitle":"Proceedings of the 2002 ACM Symposium on Applied Computing (SAC)","abstract":"Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are combined according to combinators which express the desired optimization criteria. Constraint Handling Rules (CHRs) constitute a high-level natural formalism to specify constraint solvers and propagation algorithms. In this paper we present a framework to design and specify soft constraint solvers by using CHRs. In this way, we extend the range of applicability of CHRs to soft constraints rather than just classical ones, and we provide a straightforward implementation for soft constraint solvers.","pages":"1–5","bibtex":"@conference{\n\t11391_142684,\n\tauthor = {Bistarelli, Stefano and Fruewirth, Thom and Marte, Michael and Rossi, Francesca},\n\ttitle = {Soft Constraint Propagation and Solving in CHR},\n\tyear = {2002},\n\tpublisher = {ACM Press},\n\tbooktitle = {Proceedings of the 2002 ACM Symposium on Applied Computing (SAC)},\n\tabstract = {Soft constraints are a generalization of classical constraints,\r\nwhere constraints and/or partial assignments are associated\r\nto preference or importance levels, and constraints are combined\r\naccording to combinators which express the desired\r\noptimization criteria. Constraint Handling Rules (CHRs)\r\nconstitute a high-level natural formalism to specify constraint\r\nsolvers and propagation algorithms. In this paper\r\nwe present a framework to design and specify soft constraint\r\nsolvers by using CHRs. In this way, we extend the range of\r\napplicability of CHRs to soft constraints rather than just\r\nclassical ones, and we provide a straightforward implementation\r\nfor soft constraint solvers.},\n\tpages = {1--5}\n}\n","author_short":["Bistarelli, S.","Fruewirth, T.","Marte, M.","Rossi, F."],"key":"11391_142684","id":"11391_142684","bibbaseid":"bistarelli-fruewirth-marte-rossi-softconstraintpropagationandsolvinginchr-2002","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"conference","biburl":"http://www.dmi.unipg.it/~bista/papers/pubblicazioni.bib","dataSources":["GhB5rb8JzW6az3exo"],"keywords":[],"search_terms":["soft","constraint","propagation","solving","chr","bistarelli","fruewirth","marte","rossi"],"title":"Soft Constraint Propagation and Solving in CHR","year":2002}