Constraint Programming in Compiler Optimization: Lessons Learned
Reasoning about qualitative temporal information
Temporal query processing with indefinite information
2012-GRIP4
Training%20brochure