BibTeX record conf/ddecs/AndradeOFC07

download as .bib file

@inproceedings{DBLP:conf/ddecs/AndradeOFC07,
  author       = {Fabr{\'{\i}}cio Vivas Andrade and
                  M{\'{a}}rcia C. M. Oliveira and
                  Ant{\^{o}}nio Ot{\'{a}}vio Fernandes and
                  Claudionor Jos{\'{e}} Nunes Coelho Jr.},
  editor       = {Patrick Girard and
                  Andrzej Krasniewski and
                  Elena Gramatov{\'{a}} and
                  Adam Pawlak and
                  Tomasz Garbolino},
  title        = {SAT-Based Equivalence Checking Based on Circuit Partitioning and Special
                  Approaches for Conflict Clause Reuse},
  booktitle    = {Proceedings of the 10th {IEEE} Workshop on Design {\&} Diagnostics
                  of Electronic Circuits {\&} Systems {(DDECS} 2007), Krak{\'{o}}w,
                  Poland, April 11-13, 2007},
  pages        = {397--402},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DDECS.2007.4295319},
  doi          = {10.1109/DDECS.2007.4295319},
  timestamp    = {Fri, 24 Mar 2023 00:04:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/AndradeOFC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics