%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 }