Login / Signup
Logic optimization using rule-based randomized search.
Petra Färm
Elena Dubrova
Andreas Kuehlmann
Published in:
ASP-DAC (2005)
Keyphrases
</>
randomized search
optimization problems
expert systems
optimization algorithm
data driven
global optimization
neural network
evolutionary algorithm
logic programming
branch and bound