Beldiceanu, Nicolas and Carlsson, Mats and Derrien, Alban and Prud'homme, Charles and Stuckey, Peter (2017) Range-consistent forbidden regions of Allen’s relations. In: CPAIOR 2017.
Full text not available from this repository.
Official URL: https://link.springer.com/chapter/10.1007/978-3-31...
For all 8192 combinations of Allen's 13 relations between one task with origin o_i and fixed length ℓ _i and another task with origin o_j and fixed length ℓ _j, this paper shows how to systematically derive a formula F (o_j, o_j, ℓ_i, ℓ_j), where o_j and o_j respectively denote the earliest and the latest origin of task j, evaluating to a set of integers which are infeasible for o_i for the given combination. Such forbidden regions allow maintaining range-consistency for an Allen constraint.
|Item Type:||Conference or Workshop Item (Paper)|
|Deposited By:||Mats Carlsson|
|Deposited On:||14 Sep 2017 09:25|
|Last Modified:||14 Sep 2017 09:25|
Repository Staff Only: item control page