824 search results - page 1 / 165 » Type Processing by Constraint Reasoning |
APLAS
2006
ACM
13 years 11 months ago
2006
ACM
LICS
1998
IEEE
13 years 9 months ago
1998
IEEE
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
LICS
1995
IEEE
13 years 8 months ago
1995
IEEE
FLAIRS
2008
13 years 7 months ago
2008
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...