Login / Signup

Improvements to combinational equivalence checking.

Alan MishchenkoSatrajit ChatterjeeRobert K. BraytonNiklas Eén
Published in: ICCAD (2006)
Keyphrases
  • information systems
  • multiscale
  • real time
  • artificial intelligence
  • relational databases
  • evolutionary algorithm
  • logic programs