%0 Conference Paper %1 conf/dac/SuTH16 %A Su, Juexiao %A Tu, Tianheng %A He, Lei %B DAC %D 2016 %I ACM %K dblp %P 148:1-148:6 %T A quantum annealing approach for boolean satisfiability problem. %U http://dblp.uni-trier.de/db/conf/dac/dac2016.html#SuTH16 %@ 978-1-4503-4236-0

@inproceedings{conf/dac/SuTH16, added-at = {2023-03-13T00:00:00.000+0100}, author = {Su, Juexiao and Tu, Tianheng and He, Lei}, biburl = {https://www.bibsonomy.org/bibtex/291a3f3fe1e8f1eddaeaced81893b8018/dblp}, booktitle = {DAC}, crossref = {conf/dac/2016}, ee = {https://doi.org/10.1145/2897937.2897973}, interhash = {c4d3233fb97ec1e6b91584e367d7a963}, intrahash = {91a3f3fe1e8f1eddaeaced81893b8018}, isbn = {978-1-4503-4236-0}, keywords = {dblp}, pages = {148:1-148:6}, publisher = {ACM}, timestamp = {2024-04-10T06:55:10.000+0200}, title = {A quantum annealing approach for boolean satisfiability problem.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2016.html#SuTH16}, year = 2016 }