Bill Pippin
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs.
Proceedings of the Logic Programming, 1994