@inproceedings{DBLP:conf/date/AmaruGM13,
  author    = {Luca Gaetano Amar{\`{u}} and
               Pierre{-}Emmanuel Gaillardon and
               Giovanni De Micheli},
  title     = {Biconditional {BDD:} a novel canonical {BDD} for logic synthesis targeting
               XOR-rich circuits},
  booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  pages     = {1014--1017},
  year      = {2013},
  crossref  = {DBLP:conf/date/2013},
  url       = {https://doi.org/10.7873/DATE.2013.211},
  doi       = {10.7873/DATE.2013.211},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/AmaruGM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"MQsBk53fcGy7mjCRQ","bibbaseid":"amar-gaillardon-micheli-biconditionalbddanovelcanonicalbddforlogicsynthesistargetingxorrichcircuits-2013","authorIDs":[],"author_short":["Amarù, L. G.","Gaillardon, P.","Micheli, G. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca","Gaetano"],"propositions":[],"lastnames":["Amarù"],"suffixes":[]},{"firstnames":["Pierre-Emmanuel"],"propositions":[],"lastnames":["Gaillardon"],"suffixes":[]},{"firstnames":["Giovanni","De"],"propositions":[],"lastnames":["Micheli"],"suffixes":[]}],"title":"Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits","booktitle":"Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013","pages":"1014–1017","year":"2013","crossref":"DBLP:conf/date/2013","url":"https://doi.org/10.7873/DATE.2013.211","doi":"10.7873/DATE.2013.211","timestamp":"Wed, 16 Oct 2019 14:14:53 +0200","biburl":"https://dblp.org/rec/bib/conf/date/AmaruGM13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/date/AmaruGM13,\n author = {Luca Gaetano Amar{\\`{u}} and\n Pierre{-}Emmanuel Gaillardon and\n Giovanni De Micheli},\n title = {Biconditional {BDD:} a novel canonical {BDD} for logic synthesis targeting\n XOR-rich circuits},\n booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,\n March 18-22, 2013},\n pages = {1014--1017},\n year = {2013},\n crossref = {DBLP:conf/date/2013},\n url = {https://doi.org/10.7873/DATE.2013.211},\n doi = {10.7873/DATE.2013.211},\n timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},\n biburl = {https://dblp.org/rec/bib/conf/date/AmaruGM13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Amarù, L. G.","Gaillardon, P.","Micheli, G. D."],"key":"DBLP:conf/date/AmaruGM13","id":"DBLP:conf/date/AmaruGM13","bibbaseid":"amar-gaillardon-micheli-biconditionalbddanovelcanonicalbddforlogicsynthesistargetingxorrichcircuits-2013","role":"author","urls":{"Paper":"https://doi.org/10.7873/DATE.2013.211"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-11-14T21:28:28.410Z","downloads":0,"keywords":[],"search_terms":["biconditional","bdd","novel","canonical","bdd","logic","synthesis","targeting","xor","rich","circuits","amarù","gaillardon","micheli"],"title":"Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits","year":2013,"dataSources":["L6BLFSB28hKk5Nt67"]}