On Acceleration of Logic Circuits Optimization Using Implication Relations

Hideyuki Ichihara, Kozo Kinoshita. On Acceleration of Logic Circuits Optimization Using Implication Relations. In 6th Asian Test Symposium (ATS 97), 17-18 November 1997, Akita, Japan. pages 222-227, IEEE Computer Society, 1997. [doi]

@inproceedings{IchiharaK97,
  title = {On Acceleration of Logic Circuits Optimization Using Implication Relations},
  author = {Hideyuki Ichihara and Kozo Kinoshita},
  year = {1997},
  url = {http://csdl.computer.org/comp/proceedings/ats/1997/8209/00/82090222abs.htm},
  tags = {optimization, logic},
  researchr = {https://researchr.org/publication/IchiharaK97},
  cites = {0},
  citedby = {0},
  pages = {222-227},
  booktitle = {6th Asian Test Symposium (ATS  97), 17-18 November 1997, Akita, Japan},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8209-4},
}