235 search results - page 19 / 47 » An efficient consistency algorithm for the Temporal Constrai... |
116
Voted
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
123
Voted
AIPS
2006
15 years 5 months ago
2006
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
124
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem i...
117
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
We present a detailed study of two inverse consistencies for non-binary constraints: relational path inverse consistency (rel PIC) and pairwise inverse consistency (PWIC). These ar...
127
Voted
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where ...