{"_id":"HuazLDB95fD3AJAq5","bibbaseid":"amar-gaillardon-micheli-biconditionalbinarydecisiondiagramsanovelcanonicallogicrepresentationform-2014","authorIDs":[],"author_short":["Amarù, L. G.","Gaillardon, P.","Micheli, G. D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca","Gaetano"],"propositions":[],"lastnames":["Amarù"],"suffixes":[]},{"firstnames":["Pierre-Emmanuel"],"propositions":[],"lastnames":["Gaillardon"],"suffixes":[]},{"firstnames":["Giovanni","De"],"propositions":[],"lastnames":["Micheli"],"suffixes":[]}],"title":"Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form","journal":"IEEE J. Emerg. Sel. Topics Circuits Syst.","volume":"4","number":"4","pages":"487–500","year":"2014","url":"https://doi.org/10.1109/JETCAS.2014.2361058","doi":"10.1109/JETCAS.2014.2361058","timestamp":"Sun, 02 Jun 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/esticas/AmaruGM14","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/esticas/AmaruGM14,\n author = {Luca Gaetano Amar{\\`{u}} and\n Pierre{-}Emmanuel Gaillardon and\n Giovanni De Micheli},\n title = {Biconditional Binary Decision Diagrams: {A} Novel Canonical Logic\n Representation Form},\n journal = {{IEEE} J. Emerg. Sel. Topics Circuits Syst.},\n volume = {4},\n number = {4},\n pages = {487--500},\n year = {2014},\n url = {https://doi.org/10.1109/JETCAS.2014.2361058},\n doi = {10.1109/JETCAS.2014.2361058},\n timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/esticas/AmaruGM14},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Amarù, L. G.","Gaillardon, P.","Micheli, G. D."],"key":"DBLP:journals/esticas/AmaruGM14","id":"DBLP:journals/esticas/AmaruGM14","bibbaseid":"amar-gaillardon-micheli-biconditionalbinarydecisiondiagramsanovelcanonicallogicrepresentationform-2014","role":"author","urls":{"Paper":"https://doi.org/10.1109/JETCAS.2014.2361058"},"downloads":0,"html":""},"bibtype":"article","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-11-14T21:28:28.399Z","downloads":0,"keywords":[],"search_terms":["biconditional","binary","decision","diagrams","novel","canonical","logic","representation","form","amarù","gaillardon","micheli"],"title":"Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form","year":2014,"dataSources":["L6BLFSB28hKk5Nt67"]}