%0 Conference Paper %1 conf/date/RedaS01 %A Reda, Sherief %A Salem, Ashraf %B DATE %D 2001 %E Nebel, Wolfgang %E Jerraya, Ahmed %I IEEE Computer Society %K dblp %P 122-126 %T Combinational equivalence checking using Boolean satisfiability and binary decision diagrams. %U http://dblp.uni-trier.de/db/conf/date/date2001.html#RedaS01 %@ 0-7695-0993-2

@inproceedings{conf/date/RedaS01, added-at = {2024-06-14T00:00:00.000+0200}, author = {Reda, Sherief and Salem, Ashraf}, biburl = {https://www.bibsonomy.org/bibtex/211e7db04288c3596051ba0802bfdc9e9/dblp}, booktitle = {DATE}, crossref = {conf/date/2001}, editor = {Nebel, Wolfgang and Jerraya, Ahmed}, ee = {http://dl.acm.org/citation.cfm?id=367113}, interhash = {380e3126e533c65298529e9c1c82dc3a}, intrahash = {11e7db04288c3596051ba0802bfdc9e9}, isbn = {0-7695-0993-2}, keywords = {dblp}, pages = {122-126}, publisher = {IEEE Computer Society}, timestamp = {2024-06-17T07:45:42.000+0200}, title = {Combinational equivalence checking using Boolean satisfiability and binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/conf/date/date2001.html#RedaS01}, year = 2001 }