Busy man's synthesis: Combinational delay optimization with SAT.

Mathias Soeken Giovanni De Micheli Alan Mishchenko

Published in: DATE (2017)

Keyphrases

optimization algorithm
optimization problems
optimization method
combinatorial optimization
optimization methods
optimization process
constrained optimization
optimization model
neural network
multi objective
linear programming
search strategies
design space exploration