Encoding Algorithms for Logic Synthesis

Valery Sklyarov, Iouliia Skliarova. Encoding Algorithms for Logic Synthesis. In 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 13-16 May 2007, Amman, Jordan. pages 359-366, IEEE, 2007. [doi]

@inproceedings{SklyarovS07:0,
  title = {Encoding Algorithms for Logic Synthesis},
  author = {Valery Sklyarov and Iouliia Skliarova},
  year = {2007},
  doi = {10.1109/AICCSA.2007.370906},
  url = {http://dx.doi.org/10.1109/AICCSA.2007.370906},
  tags = {logic},
  researchr = {https://researchr.org/publication/SklyarovS07%3A0},
  cites = {0},
  citedby = {0},
  pages = {359-366},
  booktitle = {2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 13-16 May 2007, Amman, Jordan},
  publisher = {IEEE},
}