%0 Conference Paper %1 conf/sat/DouglassKR15 %A Douglass, Adam %A King, Andrew D. %A Raymond, Jack %B SAT %D 2015 %E Heule, Marijn %E Weaver, Sean A. %I Springer %K dblp %P 104-120 %T Constructing SAT Filters with a Quantum Annealer. %U http://dblp.uni-trier.de/db/conf/sat/sat2015.html#DouglassKR15 %V 9340 %@ 978-3-319-24317-7

@inproceedings{conf/sat/DouglassKR15, added-at = {2018-06-26T00:00:00.000+0200}, author = {Douglass, Adam and King, Andrew D. and Raymond, Jack}, biburl = {https://www.bibsonomy.org/bibtex/24659bbfb180027b8b1ef538dd7c6eb71/dblp}, booktitle = {SAT}, crossref = {conf/sat/2015}, editor = {Heule, Marijn and Weaver, Sean A.}, ee = {https://doi.org/10.1007/978-3-319-24318-4_9}, interhash = {71520b71ef0a45e3383a40f1ee3736bd}, intrahash = {4659bbfb180027b8b1ef538dd7c6eb71}, isbn = {978-3-319-24317-7}, keywords = {dblp}, pages = {104-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-22T11:54:42.000+0200}, title = {Constructing SAT Filters with a Quantum Annealer.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#DouglassKR15}, volume = 9340, year = 2015 }