Inproceedings,
Evaluating the effectiveness of D-chains in SAT-based ATPG.
J. Burchard, F. Neubauer, P. Raiola, D. Erb, and B. Becker.LATS, page 1-6. IEEE, (2017)
Meta data
- BibTeX key
- conf/latw/BurchardNRE017
- entry type
- inproceedings
- booktitle
- LATS
- year
- 2017
- pages
- 1-6
- publisher
- IEEE
- crossref
- conf/latw/2017
- ee
- https://doi.org/10.1109/LATW.2017.7906752
- isbn
- 978-1-5386-0415-1
- url
- http://dblp.uni-trier.de/db/conf/latw/lats2017.html#BurchardNRE017
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/latw/BurchardNRE017
%A Burchard, Jan
%A Neubauer, Felix
%A Raiola, Pascal
%A Erb, Dominik
%A Becker, Bernd
%B LATS
%D 2017
%I IEEE
%K
%P 1-6
%T Evaluating the effectiveness of D-chains in SAT-based ATPG.
%U http://dblp.uni-trier.de/db/conf/latw/lats2017.html#BurchardNRE017
%@ 978-1-5386-0415-1
@inproceedings{conf/latw/BurchardNRE017,
added-at = {2023-12-14T14:17:42.000+0100},
author = {Burchard, Jan and Neubauer, Felix and Raiola, Pascal and Erb, Dominik and Becker, Bernd},
biburl = {https://www.bibsonomy.org/bibtex/271de168fed2c6e3f1a1d3a9332d4a6e3/admin},
booktitle = {LATS},
crossref = {conf/latw/2017},
ee = {https://doi.org/10.1109/LATW.2017.7906752},
interhash = {de4b0c6303c19214dc6fbaa1bc186c7f},
intrahash = {71de168fed2c6e3f1a1d3a9332d4a6e3},
isbn = {978-1-5386-0415-1},
keywords = {},
pages = {1-6},
publisher = {IEEE},
timestamp = {2023-12-14T14:17:42.000+0100},
title = {Evaluating the effectiveness of D-chains in SAT-based ATPG.},
url = {http://dblp.uni-trier.de/db/conf/latw/lats2017.html#BurchardNRE017},
year = 2017
}