824 search results - page 1 / 165 » Type Processing by Constraint Reasoning |
104
Voted
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
105
Voted
LICS
1998
IEEE
15 years 7 months ago
1998
IEEE
99
Voted
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
103
Voted
LICS
1995
IEEE
15 years 7 months ago
1995
IEEE
106
Voted
FLAIRS
2008
15 years 5 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...