| |
| 1997 | ||
|---|---|---|
| 3 | EE | Pierre Girodias, Eduard Cerny: Interface timing verification with delay correlation using constraint logic programming. ED&TC 1997: 12-19 |
| 2 | EE | Pierre Girodias, Eduard Cerny, William J. Older: Solving Linear, Min and Max Constraint Systems Using CLP Based on Relational Interval Arithmetic. Theor. Comput. Sci. 173(1): 253-281 (1997) |
| 1995 | ||
| 1 | Pierre Girodias, Eduard Cerny, William J. Older: Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. CP 1995: 186-203 | |
| 1 | Eduard Cerny | [1] [2] [3] |
| 2 | William J. Older | [1] [2] |