Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ddecs/AndradeOFC07
%A Andrade, Fabrício Vivas
%A Oliveira, Márcia C. M.
%A Fernandes, Antônio Otávio
%A Jr., Claudionor José Nunes Coelho
%B DDECS
%D 2007
%E Girard, Patrick
%E Krasniewski, Andrzej
%E Gramatová, Elena
%E Pawlak, Adam
%E Garbolino, Tomasz
%I IEEE Computer Society
%K dblp
%P 397-402
%T SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse.
%U http://dblp.uni-trier.de/db/conf/ddecs/ddecs2007.html#AndradeOFC07
%@ 1-4244-1161-0
@inproceedings{conf/ddecs/AndradeOFC07,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Andrade, Fabrício Vivas and Oliveira, Márcia C. M. and Fernandes, Antônio Otávio and Jr., Claudionor José Nunes Coelho},
biburl = {https://www.bibsonomy.org/bibtex/21d7d84d5c4ff97b9ffde1050ffb40932/dblp},
booktitle = {DDECS},
crossref = {conf/ddecs/2007},
editor = {Girard, Patrick and Krasniewski, Andrzej and Gramatová, Elena and Pawlak, Adam and Garbolino, Tomasz},
ee = {https://doi.ieeecomputersociety.org/10.1109/DDECS.2007.4295319},
interhash = {dda0bb483de38ea2ae8c5252c0d118fd},
intrahash = {1d7d84d5c4ff97b9ffde1050ffb40932},
isbn = {1-4244-1161-0},
keywords = {dblp},
pages = {397-402},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T06:40:49.000+0200},
title = {SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse.},
url = {http://dblp.uni-trier.de/db/conf/ddecs/ddecs2007.html#AndradeOFC07},
year = 2007
}