%0 Conference Paper %1 conf/frocos/BianCMRSV17 %A Bian, Zhengbing %A Chudak, Fabián A. %A Macready, William G. %A Roy, Aidan %A Sebastiani, Roberto %A Varotti, Stefano %B FroCoS %D 2017 %E Dixon, Clare %E Finger, Marcelo %I Springer %K dblp %P 153-171 %T Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2017.html#BianCMRSV17 %V 10483 %@ 978-3-319-66167-4

@inproceedings{conf/frocos/BianCMRSV17, added-at = {2017-09-05T00:00:00.000+0200}, author = {Bian, Zhengbing and Chudak, Fabián A. and Macready, William G. and Roy, Aidan and Sebastiani, Roberto and Varotti, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/27d86e97aca5173c4aeddfa128b6e4833/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2017}, editor = {Dixon, Clare and Finger, Marcelo}, ee = {https://doi.org/10.1007/978-3-319-66167-4_9}, interhash = {19eadaa1c4278e2c53e05603ea8ae6d8}, intrahash = {7d86e97aca5173c4aeddfa128b6e4833}, isbn = {978-3-319-66167-4}, keywords = {dblp}, pages = {153-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:39:37.000+0200}, title = {Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2017.html#BianCMRSV17}, volume = 10483, year = 2017 }