A proof engine approach to solving combinational design automation problems.

Gunnar Andersson Per Bjesse Byron Cook Ziyad Hanna

Published in: DAC (2002)

Keyphrases

design automation
solving problems
solving complex
optimization problems
combinatorial optimization
np complete
np complete problems
artificial intelligence
database
training data
software engineering
life cycle
convex optimization problems
convex quadratic programming