ML Anthology
Authors
Search
About
Zimmer, Laurent
1 publications
IJCAI
1989
Simulation of Hybrid Circuits in Constraint Logic Programming
Thomas Graf
,
Pascal Van Hentenryck
,
Claudine Pradelles
,
Laurent Zimmer