824 search results - page 1 / 165 » Type Processing by Constraint Reasoning |
APLAS
2006
ACM
14 years 3 months ago
2006
ACM
LICS
1998
IEEE
14 years 1 months ago
1998
IEEE
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
LICS
1995
IEEE
14 years 1 months ago
1995
IEEE
FLAIRS
2008
13 years 12 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...