Encoding Algorithms for Logic Synthesis.

Valery Sklyarov Iouliia Skliarova

Published in: AICCSA (2007)

Keyphrases

learning algorithm
worst case
computational complexity
binary images
database
background knowledge
logic synthesis