Login / Signup
Constraints specification at higher levels of abstraction.
Felice Balarin
Jerry R. Burch
Luciano Lavagno
Yosinori Watanabe
Roberto Passerone
Alberto L. Sangiovanni-Vincentelli
Published in:
HLDVT (2001)
Keyphrases
</>
levels of abstraction
abstraction levels
multiple constraints
constraint networks
physical constraints
real time
databases
learning algorithm
artificial intelligence
high level
search algorithm
integrity constraints
linear constraints
dynamic constraints