Login / Signup

Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification.

Mark D. AagaardMiriam Leeser
Published in: IEEE Trans. Software Eng. (1995)
Keyphrases
  • dynamic programming
  • learning algorithm
  • computational complexity
  • search space
  • np hard
  • objective function
  • knowledge acquisition
  • particle swarm optimization
  • parallel implementation