@article{DBLP:journals/tcad/YuCM18,
  author    = {Cunxi Yu and
               Maciej J. Ciesielski and
               Alan Mishchenko},
  title     = {Fast Algebraic Rewriting Based on And-Inverter Graphs},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {37},
  number    = {9},
  pages     = {1907--1911},
  year      = {2018},
  url       = {https://doi.org/10.1109/TCAD.2017.2772854},
  doi       = {10.1109/TCAD.2017.2772854},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/YuCM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"usY3yuFJBYewvXwPS","bibbaseid":"yu-ciesielski-mishchenko-fastalgebraicrewritingbasedonandinvertergraphs-2018","authorIDs":["5ce6fb5226c0fcda0100030c","5dcdc5f178619fde010000b3"],"author_short":["Yu, C.","Ciesielski, M. J.","Mishchenko, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Cunxi"],"propositions":[],"lastnames":["Yu"],"suffixes":[]},{"firstnames":["Maciej","J."],"propositions":[],"lastnames":["Ciesielski"],"suffixes":[]},{"firstnames":["Alan"],"propositions":[],"lastnames":["Mishchenko"],"suffixes":[]}],"title":"Fast Algebraic Rewriting Based on And-Inverter Graphs","journal":"IEEE Trans. on CAD of Integrated Circuits and Systems","volume":"37","number":"9","pages":"1907–1911","year":"2018","url":"https://doi.org/10.1109/TCAD.2017.2772854","doi":"10.1109/TCAD.2017.2772854","timestamp":"Thu, 13 Sep 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/tcad/YuCM18","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcad/YuCM18,\n author = {Cunxi Yu and\n Maciej J. Ciesielski and\n Alan Mishchenko},\n title = {Fast Algebraic Rewriting Based on And-Inverter Graphs},\n journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},\n volume = {37},\n number = {9},\n pages = {1907--1911},\n year = {2018},\n url = {https://doi.org/10.1109/TCAD.2017.2772854},\n doi = {10.1109/TCAD.2017.2772854},\n timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/tcad/YuCM18},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Yu, C.","Ciesielski, M. J.","Mishchenko, A."],"key":"DBLP:journals/tcad/YuCM18","id":"DBLP:journals/tcad/YuCM18","bibbaseid":"yu-ciesielski-mishchenko-fastalgebraicrewritingbasedonandinvertergraphs-2018","role":"author","urls":{"Paper":"https://doi.org/10.1109/TCAD.2017.2772854"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-05-23T19:58:10.224Z","downloads":0,"keywords":["dblp"],"search_terms":["fast","algebraic","rewriting","based","inverter","graphs","yu","ciesielski","mishchenko"],"title":"Fast Algebraic Rewriting Based on And-Inverter Graphs","year":2018,"dataSources":["L6BLFSB28hKk5Nt67"]}