Sign in

Solving BDD by Enumeration: An Update.

Mingjie LiuPhong Q. Nguyen
Published in: CT-RSA (2013)
Keyphrases
  • real time
  • information retrieval
  • artificial intelligence
  • search space
  • combinatorial optimization
  • boolean functions