Simulation of Hybrid Circuits in Constraint Logic Programming.

Thomas Graf Pascal Van Hentenryck Claudine Pradelles Laurent Zimmer

Published in: IJCAI (1989)

Keyphrases

constraint logic programming
constraint solving
logic programming
answer set programming
logic programming language
constraint programming
simulation model
high speed
proof theoretic
logic programs
integrity constraints
programming paradigms