An Efficient Symbolic Design Verification System.

Jaehong Park M. Ray Mercer

Published in: ICCD (1993)

Keyphrases

artificial intelligence
social networks
design principles
engineering design
optimal design
artificial neural networks
software engineering
design tools
symbolic description