Meta data
- BibTeX key
- conf/socc/LinTKYWCW20
- entry type
- inproceedings
- booktitle
- SoCC
- year
- 2020
- pages
- 271-276
- publisher
- IEEE
- crossref
- conf/socc/2020
- ee
- https://doi.org/10.1109/SOCC49529.2020.9524758
- isbn
- 978-1-7281-8746-4
- url
- http://dblp.uni-trier.de/db/conf/socc/socc2020.html#LinTKYWCW20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/socc/LinTKYWCW20
%A Lin, Chia-Chun
%A Tam, Kit Seng
%A Ko, Chana-Cheng
%A Yen, Hsin-Ping
%A Wei, Shenz-Hsiu
%A Chen, Yung-Chih
%A Wang, Chun-Yao
%B SoCC
%D 2020
%I IEEE
%K dblp
%P 271-276
%T A Dynamic Expansion Order Algorithm for the SAT-based Minimization.
%U http://dblp.uni-trier.de/db/conf/socc/socc2020.html#LinTKYWCW20
%@ 978-1-7281-8746-4
@inproceedings{conf/socc/LinTKYWCW20,
added-at = {2021-09-14T00:00:00.000+0200},
author = {Lin, Chia-Chun and Tam, Kit Seng and Ko, Chana-Cheng and Yen, Hsin-Ping and Wei, Shenz-Hsiu and Chen, Yung-Chih and Wang, Chun-Yao},
biburl = {https://www.bibsonomy.org/bibtex/25cff1f87213d864ef6691f99203838f3/dblp},
booktitle = {SoCC},
crossref = {conf/socc/2020},
ee = {https://doi.org/10.1109/SOCC49529.2020.9524758},
interhash = {676c8564ed2026bd913ad8c56771348a},
intrahash = {5cff1f87213d864ef6691f99203838f3},
isbn = {978-1-7281-8746-4},
keywords = {dblp},
pages = {271-276},
publisher = {IEEE},
timestamp = {2024-04-09T21:45:22.000+0200},
title = {A Dynamic Expansion Order Algorithm for the SAT-based Minimization.},
url = {http://dblp.uni-trier.de/db/conf/socc/socc2020.html#LinTKYWCW20},
year = 2020
}