Login / Signup

Functional vector generation for HDL models using linearprogramming and Boolean satisfiability.

Farzan FallahSrinivas DevadasKurt Keutzer
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2001)
Keyphrases
  • lower bound
  • branch and bound algorithm
  • boolean satisfiability
  • np hard
  • randomly generated
  • combinatorial problems
  • learning algorithm