{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:12:38Z","timestamp":1751688758892,"version":"3.41.0"},"publisher-location":"Cham","reference-count":67,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319920399"},{"type":"electronic","value":"9783319920405"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92040-5_6","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T11:55:05Z","timestamp":1527508505000},"page":"103-122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Survey of Programming Tools for D-Wave Quantum-Annealing Processors"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5220-1985","authenticated-orcid":false,"given":"Scott","family":"Pakin","sequence":"first","affiliation":[]},{"given":"Steven P.","family":"Reinhardt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"6_CR1","unstructured":"Lockheed Martin Corporation: Quantum, August 2011. http:\/\/www.lockheedmartin.com\/us\/what-we-do\/emerging\/quantum.html"},{"issue":"3","key":"6_CR2","first-page":"031015","volume":"6","author":"VS Denchev","year":"2016","unstructured":"Denchev, V.S., Boixo, S., Isakov, S.V., Ding, N., Babbush, R., Smelyanskiy, V., Martinis, J., Neven, H.: What is the computational value of finite-range tunneling? Phys. Rev. X 6(3), 031015 (2016)","journal-title":"Phys. Rev. X"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"052320","DOI":"10.1103\/PhysRevA.93.052320","volume":"93","author":"AD King","year":"2016","unstructured":"King, A.D., Hoskinson, E., Lanting, T., Andriyash, E., Amin, M.H.: Degeneracy, degree, and heavy tails in quantum annealing. Phys. Rev. A 93(5), 052320 (2016)","journal-title":"Phys. Rev. A"},{"key":"6_CR4","unstructured":"Wikipedia: BQP, August 2017. https:\/\/en.wikipedia.org\/wiki\/BQP"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TASC.2014.2318294","volume":"24","author":"PI Bunyk","year":"2014","unstructured":"Bunyk, P.I., Hoskinson, E.M., Johnson, M.W., Tolkacheva, E., Altomare, F., Berkley, A.J., Harris, R., Hilton, J.P., Lanting, T., Przybysz, A.J., Whittaker, J.: Architectural considerations in the design of a superconducting quantum annealing processor. IEEE Trans. Appl. Supercond. 24(4), 1\u201310 (2014)","journal-title":"IEEE Trans. Appl. Supercond."},{"key":"6_CR6","unstructured":"Anthony, A.: Has the age of quantum computing arrived?, December 2016. https:\/\/www.theguardian.com\/technology\/2016\/may\/22\/age-of-quantum-computing-d-wave"},{"key":"6_CR7","unstructured":"NASA Quantum Artificial Intelligence Laboratory (QuAIL), December 2016. https:\/\/ti.arc.nasa.gov\/tech\/dash\/physics\/quail\/"},{"key":"6_CR8","unstructured":"Grant, E.: D-Wave adiabatic quantum computer, October 2016. http:\/\/web.eecs.utk.edu\/courses\/fall2016\/cosc594\/presentations\/D-Wave.pdf"},{"key":"6_CR9","unstructured":"Boothby, K.: D-Wave improved heuristic embedder, October 2017. https:\/\/github.com\/dwavesystems\/minorminer"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s11128-015-1150-6","volume":"15","author":"T Boothby","year":"2016","unstructured":"Boothby, T., King, A.D., Roy, A.: Fast clique minor generation in chimera qubit connectivity graphs. Quantum Inf. Process. 15(1), 495\u2013508 (2016)","journal-title":"Quantum Inf. Process."},{"key":"6_CR11","unstructured":"Boothby, K.: D-Wave clique embedder, October 2017. https:\/\/github.com\/dwavesystems\/chimera-embedding"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Goodrich, T.D., Sullivan, B.D., Humble, T.S.: Optimizing adiabatic quantum program compilation using a graph-theoretic framework. arXiv preprint arXiv:1704.01996 (2017)","DOI":"10.1007\/s11128-018-1863-4"},{"key":"6_CR13","unstructured":"Goodrich, T.D.: AQC virtual embedding, October 2017. https:\/\/github.com\/TheoryInPractice\/aqc-virtual-embedding"},{"key":"6_CR14","unstructured":"D-Wave Systems Inc.: Burnaby, British Columbia, Canada: Developer Guide for C (2017)"},{"key":"6_CR15","unstructured":"Andriyash, E., Bian, Z., Chudak, F., Drew-Brook, M., King, A.D., Macready, W.G., Roy, A.: Boosting integer factoring performance via quantum annealing offsets, December 2016. https:\/\/www.dwavesys.com\/sites\/default\/files\/14-1002A_B_tr_Boosting_integer_factorization_via_quantum_annealing_offsets.pdf"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11128-014-0892-x","volume":"14","author":"EG Rieffel","year":"2015","unstructured":"Rieffel, E.G., Venturelli, D., O\u2019Gorman, B., Do, M.B., Prystay, E.M., Smelyanskiy, V.N.: A case study in programming a quantum annealer for hard operational planning problems. Quantum Inf. Process. 14(1), 1\u201336 (2015)","journal-title":"Quantum Inf. Process."},{"key":"6_CR17","unstructured":"Stollenwerk, T., Basermann, A.: Experiences with scheduling problems on adiabatic quantum computers. In: Proceedings of the 1st International Workshop on Post-Moore Era Supercomputing (PMES), Future Technologies Group Technical report FTGTR-2016-11, pp. 45\u201346 (2016)"},{"issue":"9","key":"6_CR18","doi-asserted-by":"publisher","first-page":"648","DOI":"10.14778\/2947618.2947621","volume":"9","author":"I Trummer","year":"2016","unstructured":"Trummer, I., Koch, C.: Multiple query optimization on the D-Wave 2X adiabatic quantum computer. Proc. VLDB Endow. 9(9), 648\u2013659 (2016)","journal-title":"Proc. VLDB Endow."},{"key":"6_CR19","unstructured":"Adachi, S.H., Henderson, M.P.: Application of quantum annealing to training of deep neural networks. arXiv preprint arXiv:1510.06356 (2015)"},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1140\/epjst\/e2015-02347-y","volume":"224","author":"A Perdomo-Ortiz","year":"2015","unstructured":"Perdomo-Ortiz, A., Fluegemann, J., Narasimhan, S., Biswas, R., Smelyanskiy, V.N.: A quantum annealing approach for fault detection and diagnosis of graph-based systems. Eur. Phys. J. Spec. Topics 224(1), 131\u2013148 (2015)","journal-title":"Eur. Phys. J. Spec. Topics"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-24318-4_9","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2015","author":"A Douglass","year":"2015","unstructured":"Douglass, A., King, A.D., Raymond, J.: Constructing SAT filters with a quantum annealer. In: Heule, M., Weaver, S. (eds.) SAT 2015. LNCS, vol. 9340, pp. 104\u2013120. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24318-4_9"},{"key":"6_CR22","unstructured":"Douglass, A.: dwave-cloud-client, March 2017. https:\/\/github.com\/dwavesystems\/dwave-cloud-client"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Booth, M., Dahl, E., Furtney, M., Reinhardt, S.P.: Abstractions considered helpful: a tools architecture for quantum annealers. In: 2016 IEEE High Performance Extreme Computing Conference (HPEC), pp. 1\u20132. IEEE (2016)","DOI":"10.1109\/HPEC.2016.7761625"},{"key":"6_CR24","unstructured":"Ramey, C.: Bash, the Bourne-again shell. In: Proceedings of The Romanian Open Systems Conference & Exhibition (ROSE 1994), The Romanian UNIX User\u2019s Group (GURU), 3\u20135 November 1994"},{"key":"6_CR25","unstructured":"QC Ware: QC Ware Platform, October 2017. https:\/\/platform.qcware.com"},{"issue":"6","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1109\/JSTSP.2016.2574703","volume":"10","author":"G Rosenberg","year":"2016","unstructured":"Rosenberg, G., Haghnegahdar, P., Goddard, P., Carr, P., Wu, K., de Prado, M.L.: Solving the optimal trading trajectory problem using a quantum annealer. IEEE J. Sel. Topics Sig. Process. 10(6), 1053\u20131060 (2016)","journal-title":"IEEE J. Sel. Topics Sig. Process."},{"key":"6_CR27","unstructured":"Accenture: Biogen, 1QBit and Accenture: Pioneering Quantum Computing in R&D, August 2016. https:\/\/www.accenture.com\/us-en\/success-biogen-quantum-computing-advance-drug-discovery"},{"key":"6_CR28","unstructured":"1QBit: 1QBit Quantum Development Kit, October 2017. https:\/\/qdk.1qbit.com"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Hodson, M., Fletcher, D., Padilha, D., Cook, T.: Rapid prototyping with symbolic computation: fast development of quantum annealing solutions. In: 2016 IEEE High Performance Extreme Computing Conference (HPEC), pp. 1\u20135. IEEE (2016)","DOI":"10.1109\/HPEC.2016.7761632"},{"key":"6_CR30","unstructured":"McCaskey, A.: XACC\u2013eXtreme-scale ACCelerator programming framework, October 2016. https:\/\/github.com\/ORNL-QCI\/xacc"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Munshi, A.: The OpenCL specification. In: 2009 IEEE Hot Chips 21 Symposium (HCS), pp. 1\u2013314. IEEE (2009)","DOI":"10.1109\/HOTCHIPS.2009.7478342"},{"key":"6_CR32","unstructured":"Smith, R.S., Curtis, M.J., Zeng, W.J.: A practical quantum instruction set architecture. arXiv preprint arXiv:1608.03355 (2016)"},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.parco.2014.12.001","volume":"45","author":"A JavadiAbhari","year":"2015","unstructured":"JavadiAbhari, A., Patil, S., Kudrow, D., Heckey, J., Lvov, A., Chong, F.T., Martonosi, M.: ScaffCC: scalable compilation and analysis of quantum programs. Parallel Comput. 45, 2\u201317 (2015)","journal-title":"Parallel Comput."},{"key":"6_CR34","unstructured":"Elsokkary, N., Khan, F.S., La Torre, D., Humble, T.S., Gottlieb, J.: Financial portfolio management using adiabatic quantum optimization: the case of Abu Dhabi securities exchange. In: 2017 IEEE High Performance Extreme Computing Conference (HPEC), pp. 1\u20134. IEEE (2017)"},{"key":"6_CR35","unstructured":"McCaskey, A.: Eclipse XACC: Hardware Agnostic Quantum Programming, May 2018. https:\/\/github.com\/eclipse\/xacc"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Coffrin, C., Nagarajan, H., Bent, R.: Ising processing units: potential and challenges for discrete optimization. arXiv preprint arXiv:1707.00355 (2017)","DOI":"10.2172\/1369141"},{"key":"6_CR37","unstructured":"Coffrin, C.: BQPSOLVERS, BQPJSON, and DWIG, May 2018. https:\/\/github.com\/lanl-ansi\/bqpsolvers , https:\/\/github.com\/lanl-ansi\/bqpjson , https:\/\/github.com\/lanl-ansi\/dwig"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Pakin, S.: A quantum macro assembler. In: Proceedings of the 20th Annual IEEE High Performance Extreme Computing Conference (HPEC 2016), Waltham, Massachusetts, USA, IEEE, 13\u201315 September 2016","DOI":"10.1109\/HPEC.2016.7761637"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Pakin, S.: Quantum macro assembler (QMASM), October 2017. https:\/\/github.com\/lanl\/qmasm","DOI":"10.1109\/HPEC.2016.7761637"},{"key":"6_CR40","unstructured":"Booth, M., Reinhardt, S.P., Roy, A.: Partitioning optimization problems for hybrid classical\/quantum execution, August 2017. https:\/\/github.com\/dwavesystems\/qbsolv\/blob\/master\/qbsolv_techReport.pdf"},{"issue":"3","key":"6_CR41","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1287\/ijoc.1.3.190","volume":"1","author":"F Glover","year":"1989","unstructured":"Glover, F.: Tabu search-part I. ORSA J. Comput. 1(3), 190\u2013206 (1989)","journal-title":"ORSA J. Comput."},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Mniszewski, S.M., Negre, C.F., Ushijima-Mwesigwa, H.M.: Graph partitioning using the D-Wave for electronic structure problems. Technical report LA-UR-16-27873, Los Alamos National Laboratory (2016)","DOI":"10.2172\/1330055"},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"O\u2019Malley, D., Vesselinov, V.V., Alexandrov, B.S., Alexandrov, L.B.: Nonnegative\/binary matrix factorization with a D-Wave quantum annealer. arXiv preprint arXiv:1704.01605 (2017)","DOI":"10.1371\/journal.pone.0206653"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Ushijima-Mwesigwa, H., Negre, C.F.A., Mniszewski, S.M.: Graph partitioning using quantum annealing on the D-Wave system. arXiv preprint arXiv:1705.03082 (2017)","DOI":"10.1145\/3149526.3149531"},{"key":"6_CR45","unstructured":"Neukart, F., Compostella, G., Seidel, C., Von Dollen, D., Yarkoni, S., Parney, B.: Optimizing traffic flow using quantum annealing and classical machine learning. arXiv preprint arXiv:1708.01625 (2017)"},{"key":"6_CR46","unstructured":"Ossorio-Castillo, J.: Solving energy-related scheduling problems with column generation and an adiabatic quantum computer, Tokyo, Japan, 26\u201329 July 2017"},{"key":"6_CR47","unstructured":"Dulny, J.S.: Quantum annealing enabled cluster analysis, Tokyo, Japan, 26\u201329 July 2017"},{"key":"6_CR48","unstructured":"Booth, M., Douglass, A., et al.: QUBO solver (qbsolv), October 2017. https:\/\/github.com\/dwavesystems\/qbsolv"},{"key":"6_CR49","doi-asserted-by":"crossref","unstructured":"O\u2019Malley, D., Vesselinov, V.V.: ToQ.jl: a high-level programming language for D-Wave machines based on Julia. In: 2016 IEEE High Performance Extreme Computing Conference (HPEC), pp. 1\u20137. IEEE (2016)","DOI":"10.1109\/HPEC.2016.7761616"},{"issue":"1","key":"6_CR50","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/141000671","volume":"59","author":"J Bezanson","year":"2017","unstructured":"Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65\u201398 (2017)","journal-title":"SIAM Rev."},{"issue":"2","key":"6_CR51","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1287\/ijoc.2014.0623","volume":"27","author":"M Lubin","year":"2015","unstructured":"Lubin, M., Dunning, I.: Computing in operations research using Julia. INFORMS J. Comput. 27(2), 238\u2013248 (2015)","journal-title":"INFORMS J. Comput."},{"key":"6_CR52","unstructured":"O\u2019Malley, D.: ThreeQ, October 2017. https:\/\/github.com\/lanl\/ThreeQ.jl"},{"key":"6_CR53","unstructured":"Condello, A.: D-Wave NetworkX, October 2017. https:\/\/github.com\/dwavesystems\/dwave_networkx"},{"key":"6_CR54","doi-asserted-by":"crossref","unstructured":"Hagberg, A.A., Schult, D.A., Swart, P.J.: Exploring network structure, dynamics, and function using NetworkX. In: Proceedings of the 7th Python in Science Conference (SciPy 2008), Pasadena, California, USA, pp. 11\u201315, August 2008","DOI":"10.25080\/TCWV9851"},{"key":"6_CR55","doi-asserted-by":"crossref","unstructured":"Ambrosiano, J.J., Roberts, R.M., Sims, B.H.: Using the D-Wave 2X quantum computer to explore the formation of global terrorist networks. Technical report LA-UR-17-23946, Los Alamos National Laboratory (2017)","DOI":"10.2172\/1357107"},{"key":"6_CR56","unstructured":"Condello, A.: Structural imbalance demo, December 2017. https:\/\/github.com\/dwavesystems\/structural-imbalance-demo"},{"key":"6_CR57","unstructured":"Pakin, S.: edif2qmasm\u2013run hardware descriptions on a quantum annealer, August 2017. https:\/\/github.com\/lanl\/edif2qmasm"},{"key":"6_CR58","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-85344-4","volume-title":"The Verilog$$\\textregistered $$\u00ae Hardware Description Language","author":"D Thomas","year":"2008","unstructured":"Thomas, D., Moorby, P.: The Verilog$$\\textregistered $$\u00ae Hardware Description Language. Springer Science & Business Media, New York (2008). https:\/\/doi.org\/10.1007\/978-0-387-85344-4"},{"key":"6_CR59","doi-asserted-by":"crossref","unstructured":"Ecker, W.: Using VHDL for HW\/SW co-specification. In: Proceedings EURO-DAC 1993 European Design Automation Conference, 1993, with EURO-VHDL 1993, pp. 500\u2013505. IEEE (1993)","DOI":"10.1016\/B978-0-444-81641-2.50042-3"},{"issue":"1","key":"6_CR60","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/MDT.1985.294686","volume":"2","author":"JD Crawford","year":"1985","unstructured":"Crawford, J.D.: EDIF: a mechanism for the exchange of design information. IEEE Des. Test Comput. 2(1), 63\u201369 (1985)","journal-title":"IEEE Des. Test Comput."},{"key":"6_CR61","unstructured":"Wolf, C., Glaser, J., Kepler, J.: Yosys\u2013a free Verilog synthesis suite. In: Proceedings of the 21st Austrian Workshop on Microelectronics (Austrochip) (2013)"},{"issue":"5","key":"6_CR62","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1287\/mnsc.36.5.519","volume":"36","author":"R Fourer","year":"1990","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: A modeling language for mathematical programming. Manag. Sci. 36(5), 519\u2013554 (1990)","journal-title":"Manag. Sci."},{"key":"6_CR63","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-1-4613-0215-5_8","volume":"88","author":"MR Bussieck","year":"2004","unstructured":"Bussieck, M.R., Meeraus, A.: General Algebraic Modeling System (GAMS). Appl. Optim. 88, 137\u2013158 (2004)","journal-title":"Appl. Optim."},{"key":"6_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74970-7_38"},{"issue":"3","key":"6_CR65","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s12532-011-0026-8","volume":"3","author":"WE Hart","year":"2011","unstructured":"Hart, W.E., Watson, J.P., Woodruff, D.L.: Pyomo: modeling and solving mathematical programs in Python. Math. Program. Comput. 3(3), 219\u2013260 (2011)","journal-title":"Math. Program. Comput."},{"key":"6_CR66","doi-asserted-by":"crossref","unstructured":"Pakin, S.: Navigating a maze using a quantum annealer. In: Proceedings of the 2nd International Workshop on Post Moore\u2019s Era Supercomputing, Denver, Colorado, USA, pp. 30\u201336. ACM, 13 November 2017","DOI":"10.1145\/3149526.3149532"},{"key":"6_CR67","volume-title":"Wonderful Life: The Burgess Shale and the Nature of History","author":"SJ Gould","year":"1990","unstructured":"Gould, S.J.: Wonderful Life: The Burgess Shale and the Nature of History. W. W. Norton & Company, New York (1990)"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92040-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:07:57Z","timestamp":1751659677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92040-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319920399","9783319920405"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92040-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}