Sciweavers

1181 search results - page 5 / 237
» constraints 2004
Sort
View
74
Voted
KR
2004
Springer
15 years 8 months ago
Automated Reformulation of Specifications by Safe Delay of Constraints
Marco Cadoli, Toni Mancini
77
Voted
AAAI
2004
15 years 4 months ago
Evaluating Consistency Algorithms for Temporal Metric Constraints
Yang Shi, Anagh Lal, Berthe Y. Choueiry