Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/iccad/YinTH17
%A Yin, Xunzhao
%A Toroczkai, Zoltán
%A Hu, Xiaobo Sharon
%B ICCAD
%D 2017
%E Parameswaran, Sri
%I IEEE
%K dblp
%P 794-799
%T An analog SAT solver based on a deterministic dynamical system: (Invited paper).
%U http://dblp.uni-trier.de/db/conf/iccad/iccad2017.html#YinTH17
%@ 978-1-5386-3093-8
@inproceedings{conf/iccad/YinTH17,
added-at = {2021-04-09T00:00:00.000+0200},
author = {Yin, Xunzhao and Toroczkai, Zoltán and Hu, Xiaobo Sharon},
biburl = {https://www.bibsonomy.org/bibtex/2340de2a1ef5c23efed066309ad5f451c/dblp},
booktitle = {ICCAD},
crossref = {conf/iccad/2017},
editor = {Parameswaran, Sri},
ee = {http://dl.acm.org/citation.cfm?id=3199806},
interhash = {c213f6992cb1a7ab354b647675f83539},
intrahash = {340de2a1ef5c23efed066309ad5f451c},
isbn = {978-1-5386-3093-8},
keywords = {dblp},
pages = {794-799},
publisher = {IEEE},
timestamp = {2024-04-10T17:56:00.000+0200},
title = {An analog SAT solver based on a deterministic dynamical system: (Invited paper).},
url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2017.html#YinTH17},
year = 2017
}