Login / Signup

Logic optimization using rule-based randomized search.

Petra FärmElena DubrovaAndreas 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