Meta data
- BibTeX key
- conf/fmcad/ChenHLT22
- entry type
- inproceedings
- booktitle
- FMCAD
- year
- 2022
- pages
- 199-204
- publisher
- IEEE
- crossref
- conf/fmcad/2022
- ee
- https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_26
- isbn
- 978-3-85448-053-2
- url
- http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#ChenHLT22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fmcad/ChenHLT22
%A Chen, Fa-Hsun
%A Huang, Shen-Chang
%A Lu, Yu-Cheng
%A Tan, Tony
%B FMCAD
%D 2022
%E Griggio, Alberto
%E Rungta, Neha
%I IEEE
%K dblp
%P 199-204
%T Reducing NEXP-complete problems to DQBF.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#ChenHLT22
%@ 978-3-85448-053-2
@inproceedings{conf/fmcad/ChenHLT22,
added-at = {2023-02-13T00:00:00.000+0100},
author = {Chen, Fa-Hsun and Huang, Shen-Chang and Lu, Yu-Cheng and Tan, Tony},
biburl = {https://www.bibsonomy.org/bibtex/20f780c35389e37ea32e2a766e157b240/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2022},
editor = {Griggio, Alberto and Rungta, Neha},
ee = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_26},
interhash = {6bd3b8dbbf48855b11c2e0afd4ea2e85},
intrahash = {0f780c35389e37ea32e2a766e157b240},
isbn = {978-3-85448-053-2},
keywords = {dblp},
pages = {199-204},
publisher = {IEEE},
timestamp = {2024-04-09T23:58:44.000+0200},
title = {Reducing NEXP-complete problems to DQBF.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2022.html#ChenHLT22},
year = 2022
}