Using Integer Equations to Check PSL Properties in RT Level Design.

Bijan Alizadeh Zainalabedin Navabi

Published in: IWSOC (2004)

Keyphrases

data sets
design process
computer aided
design space
neural network
artificial intelligence
social networks
website
building blocks
design principles
databases
data mining
higher level
engineering design
optimal design