Pierre Girodias

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Publications

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) (1997)
Pierre Girodias, Eduard Cerny
Interface timing verification with delay correlation using constraint logic programming. ED&TC (1997)
Pierre Girodias, Eduard Cerny, William J. Older
Solving Linear, Min and Max Constraint Systems Using CLP based on Relational Interval Arithmetic. CP (1995)