Simulation of Hybrid Circuits in Constraint Logic Programming.

Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer

Browse the full IJCAI paper archive.