Constructive Library-Aware Synthesis Using Symmetries

Victor N. Kravets, Karem A. Sakallah. Constructive Library-Aware Synthesis Using Symmetries. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 208, IEEE Computer Society, 2000. [doi]

@inproceedings{KravetsS00:0,
  title = {Constructive Library-Aware Synthesis Using Symmetries},
  author = {Victor N. Kravets and Karem A. Sakallah},
  year = {2000},
  url = {http://csdl.computer.org/comp/proceedings/date/2000/0537/00/05370208abs.htm},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/KravetsS00%3A0},
  cites = {0},
  citedby = {0},
  pages = {208},
  booktitle = {2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0537-6},
}