2003
DOI: 10.1023/a:1021902812784
|View full text |Cite
|
Sign up to set email alerts
|

Untitled

Abstract: We summarize existing approaches to model and solve overconstrained problems. These problems are usually formulated as combinatorial optimization problems, and different specific and generic formalisms are discussed, including the special case of multi-objective optimization. Regarding solving methods, both systematic and local search approaches are considered. Finally we revise a number of case studies on overconstrained problems taken from the specialized literature.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
4
0

Year Published

2005
2005
2014
2014

Publication Types

Select...
5
2

Relationship

0
7

Authors

Journals

citations
Cited by 22 publications
(4 citation statements)
references
References 49 publications
0
4
0
Order By: Relevance
“…Weighted constraint satisfaction approaches (Lau 2002) weight the constraints with positive integers and maximize the objective of constraint satisfaction. Review of constraint satisfaction approaches (Meseguer et al 2003) and solution methods (Miguel and Shen 2001) indicate their advantages over other methods in solving over-constrained formulations. Target vector approaches (Coello 2001) are conceptually similar to PCS formulations.…”
Section: Partial Constraint Satisfaction Approachesmentioning
confidence: 99%
“…Weighted constraint satisfaction approaches (Lau 2002) weight the constraints with positive integers and maximize the objective of constraint satisfaction. Review of constraint satisfaction approaches (Meseguer et al 2003) and solution methods (Miguel and Shen 2001) indicate their advantages over other methods in solving over-constrained formulations. Target vector approaches (Coello 2001) are conceptually similar to PCS formulations.…”
Section: Partial Constraint Satisfaction Approachesmentioning
confidence: 99%
“…The basic idea of such a hierarchy is that constraints are separated into multiple levels, and constraints of a higher level are always to be preferentially satisfied over those of a lower level. The notion of such hierarchies, also known as "prioritised constraints", has been extensively studied in the area of artificial intelligence and the constraint satisfaction approach to solving combinatorial optimisation problems, see for example (Dubois et al 1996;Meseguer et al 2003;Henz et al 2004;Callennec and Boulic 2004). As an example, from Borning et al (1987) …”
Section: Framework For Evaluation Of Solutionsmentioning
confidence: 99%
“…The basic branch and bound method was tested to compare it against PFC. The variable ordering heuristic used in this evaluation is the smallest-domain heuristic [20]. The value ordering heuristic used in this evaluation is to select first the value with minimal inconsistency count [20].…”
Section: Evaluations Of Variants Of Partial Forward Checkingmentioning
confidence: 99%
“…The variable ordering heuristic used in this evaluation is the smallest-domain heuristic [20]. The value ordering heuristic used in this evaluation is to select first the value with minimal inconsistency count [20]. For Reuters-21578 dataset and a list of topics of a user's interest, we compare the performance of these algorithms by varying the user's preference (Fig.…”
Section: Evaluations Of Variants Of Partial Forward Checkingmentioning
confidence: 99%