2008
DOI: 10.1007/s10845-008-0203-4
|View full text |Cite
|
Sign up to set email alerts
|

Constraint satisfaction techniques in planning and scheduling

Abstract: Over the last few years constraint satisfaction, planning, and scheduling have received increased attention, and substantial effort has been invested in exploiting constraint satisfaction techniques when solving real life planning and scheduling problems. Constraint satisfaction is the process of finding a solution to a set of constraints. Planning is the process of finding a sequence of actions that transfer the world from some initial state to a desired state. Scheduling is the problem of assigning a set of … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
46
0

Year Published

2010
2010
2023
2023

Publication Types

Select...
8
1
1

Relationship

0
10

Authors

Journals

citations
Cited by 77 publications
(50 citation statements)
references
References 21 publications
0
46
0
Order By: Relevance
“…Incomplete search methods search the space either non-systematically or in a systematical manner (Bartak et al 2008). Incomplete search methods dealing with the constraints were grouped into four categories by Koziel and Michalewicz (1999):…”
Section: Constraint Handling Methodsmentioning
confidence: 99%
“…Incomplete search methods search the space either non-systematically or in a systematical manner (Bartak et al 2008). Incomplete search methods dealing with the constraints were grouped into four categories by Koziel and Michalewicz (1999):…”
Section: Constraint Handling Methodsmentioning
confidence: 99%
“…Felfernig et al (2003) and Romero Bejarano et al (2014) proposed a methodology based on ontology and associated inference techniques for the configuration problem. Mida and Vernadat (2009) and Barták, Salido, and Rossi (2010) presented a constraint-satisfaction problem or CSP approach for process planning and scheduling. Aldanondo and Vareilles (2008) and Zhang, Vareilles, and Aldanondo (2013) explained how the concurrent configuration of a product and a process can be considered as a single constraint-satisfaction problem.…”
Section: Models and Tools For Aiding System And Process Design At Thementioning
confidence: 99%
“…Some planners use the instantiation in order to encode planning problems into different formalisms such as Sat (Kautz & Selman, 1992, 1999Rintanen, 2012) or Csp (Barták, Salido, & Rossi, 2010;Kambhampati, 2000;Lopez & Bacchus, 2003) in order to benefit from the recent performance improvements of Sat and Csp solvers. Other planners use the instantiation to efficiently compute heuristics (Hoffmann & Nebel, 2001) or speedup the search algorithm by using a compact encoding (Helmert, 2009).…”
Section: Instantiation Modulementioning
confidence: 99%