Digital Systems Design Using Constraint Logic Programming.

Radoslaw Szymanek Flavius Gruian Krzysztof Kuchcinski

Published in: PACPL (2000)

Keyphrases

constraint logic programming
knowledge based systems
constraint solving
expert systems
databases
data mining
case study
low level
building blocks
answer set programming
circuit design