Bibliography

[Ada2015]Steven H. Adachi, Maxwell P. Henderson. “Application of Quantum Annealing to Training of Deep Neural Networks.” arXiv:1510.06356. 21 Oct 2015. https://arxiv.org/abs/1510.06356
[Ahu2000]Ahuja, R. K., Orlin, J. B., and Sharma, D. “Very large-scale neighborhood search.” International Transactions in Operational Research 7 (4-5): 301-317. 2000. http://onlinelibrary.wiley.com/doi/10.1111/j.1475-3995.2000.tb00201.x/abstract
[Bac2002]Fahiem Bacchus, Xinguang Chen, Peter van Beek, and Toby Walsh. “Binary vs. non-binary constraints.” Artificial Intelligence 140 (2002) 1–37. 17 January 2001. https://www.sciencedirect.com/science/article/pii/S0004370202002102
[Bar1982]F. Barahona. “On the Computational Complexity of Ising Spin Glass Models.” J. Phys. A, 15, 3241-3253, 1982.
[Ben2017]Marcello Benedetti, John Realpe-G´omez, Rupak Biswas,and Alejandro Perdomo-Ortiz. “Quantum-assisted learning of hardware-embedded probabilistic graphical models.” arXiv:1609.02542v3 19 Oct 2017 https://arxiv.org/abs/1609.02542
[Ber1999]D. Bertsimas and C.-P. Teo and R. Vohra. “On dependent randomized rounding algorithms.” Oper. Res. Lett., 24(3), 105-114, May 1996. http://www.mit.edu/~dbertsim/papers/ApproximationAlgorithms/On dependent randomized rounding algorithms.pdf.
[Bia2010]Zhengbing Bian, Fabian Chudak, William G. Macready, and Geordie Rose. “The Ising model: teaching an old problem new tricks.” August 30, 2010. The D-Wave website.
[Bia2013]Zhengbing Bian, Fabian Chudak, William G. Macready, Lane Clark, and Frank Gaitan. “Experimental Determination of Ramsey Numbers.” Physical Review Letters 25 September 2013. https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.111.130505
[Bia2014]Zhengbing Bian, Fabian Chudak, Robert Israel, Brad Lackey, William G. Macready, and Aidan Roy. “Discrete optimization using quantum annealing on sparse Ising models.” Frontiers in Physics 18 September 2014. https://www.frontiersin.org/articles/10.3389/fphy.2014.00056/full
[Bia2016]Zhengbing Bian, Fabian Chudak, Robert Israel, Brad Lackey, William G. Macready, and Aidan Roy. “Mapping Constrained Optimization Problems to Quantum Annealing with Application to Fault Diagnosis.” Frontiers in Physics 28 July 2016. https://www.frontiersin.org/articles/10.3389/fict.2016.00014/full
[Bia2017]Zhengbing Bian, Fabian Chudak, William Macready, Aidan Roy, Roberto Sebastiani, and Stefano Varotti. “Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.” Frontiers of Combining Systems pp 153-171. Lecture Notes in Computer Science vol 10483. Springer, Cham. 29 August 2017. https://link.springer.com/chapter/10.1007/978-3-319-66167-4_9
[Bis2017]Rupak Biswas, Zhang Jiang, Kostya Kechezhi, Sergey Knysh, Salvatore Mandr`a, Bryan O’Gorman, Alejandro Perdomo-Ortiz, Andre Petukhov, John Realpe-G´omez, Eleanor Rieffel, Davide Venturelli, Fedir Vasko, Zhihui Wang. “A NASA Perspective on Quantum Computing: Opportunities and Challenges” arXiv:1704.04836v1 17 Apr 2017 https://arxiv.org/abs/1704.04836
[Bon2007]María Luisa Bonet, Jordi Levy, and Felip Manyà. “Resolution for Max-SAT” Artificial Intelligence, Volume 171, Issues 8–9, Pages 606-618. June 2007. http://www.sciencedirect.com/science/article/pii/S0004370207000422
[Boo2016]Tomas Boothby, Andrew D. King, and Aidan Roy. “Fast clique minor generation in Chimera qubit connectivity graphs.” Quantum Inf Process Volume 15, Issue 1, pp 495–508. January 2016. https://link.springer.com/article/10.1007/s11128-015-1150-6
[Bor2002]E. Boros and P. L. Hammer. “Pseudo-boolean optimization.” Discrete Appl. Math., 123, 155-225 2002. http://rutcor.rutgers.edu/~boros/Papers/2002-DAM-BH.pdf.
[Boy2007]S. Boyd and A. Mutapcic. “Subgradient methods.” 2007. http://www.stanford.edu/class/ee364b/lectures/subgrad_method_notes.pdf
[Bru1967]Stephen G. Brush. “History of the Lenz-Ising Model.” Rev. Mod. Phys. 39, 883. October 1967. https://journals.aps.org/rmp/abstract/10.1103/RevModPhys.39.883
[Bru1994]Peter Brucker, Bernd Jurisch, and Bernd Sievers. “A branch and bound algorithm for the job-shop scheduling problem.” Discrete Applied Mathematics Volume 49, Issues 1–3, 30 March 1994. http://www.sciencedirect.com/science/article/pii/0166218X94902046
[Bur2002]C.J.C. Burges. “Factoring as Optimization.” Microsoft Research TR-2002-83. 2002. https://www.microsoft.com/en-us/research/publication/factoring-as-optimization/
[Cai2014]Jun Cai, William G. Macready, and Aidan Roy. “A practical heuristic for finding graph minors.” arXiv. 10 Jun 2014. https://arxiv.org/abs/1406.2741
[Coo1971]S. Cook. “The Complexity of Theorem-Proving Procedures.” Proceedings of 3rd annual ACM Symposium on Theory of Computing, 151-158 1971. https://dl.acm.org/citation.cfm?id=805047
[Cou2009]James Coughlan. “A tutorial introduction to belief propagation.” 2009. https://www.ski.org/tutorial-introduction-belief-propagation.
[Dat2014]Nikesh S. Dattani and Nathaniel Bryans. “Quantum factorization of 56153 with only 4 qubits.” https://arxiv.org/abs/1411.6758 25 Nov 2014 https://arxiv.org/abs/1411.6758
[Dec1987]R. Dechter and J. Pearl. “The cycle-cutset method for improving search performance in AI applications.” Proceedings of the Third IEEE on Artificial Intelligence Applications, pp. 224–230. 1987.
[Dec2003]Rina Dechter. “Constraint Processing.” Morgan Kaufmann. 2003.
[Dic2013]N. G. Dickson et al. “Thermally assisted quantum annealing of a 16-qubit problem.” Nature communications. 4:1903. May 21, 2013. https://www.nature.com/articles/ncomms2920
[Dou2015]Adam Douglass, Andrew D. King, and Jack Raymond. “Constructing SAT Filters with a Quantum Annealer.” In: Heule M., Weaver S. (eds) Theory and Applications of Satisfiability Testing – SAT 2015. SAT 2015. Lecture Notes in Computer Science, vol 9340. Springer, Cham
[Dum2013]Vincent Dumoulin, Ian J. Goodfellow, Aaron Courville, and Yoshua Bengio. “On the Challenges of Physical Implementations of RBMs.” arXiv:1312.5258 18 Dec 2013. https://arxiv.org/abs/1312.5258
[Dwave1]“Structured Prediction Reference Example Description”
[Dwave2]“RBM Reference Example Description”
[Dwave3]Evgeny Andriyash, Zhengbing Bian, Fabian Chudak, Marshall Drew-Brook, Andrew D. King, William G. Macready, and Aidan Roy. “Boosting integer factoring performance via quantum annealing offsets.” https://www.dwavesys.com/sites/default/files/14-1002A_B_tr_Boosting_integer_factorization_via_quantum_annealing_offsets.pdf
[Dwave4]“Programming with D-Wave: Map Coloring Problem”. D-Wave website under Resources/Publications. 2013. https://www.dwavesys.com/sites/default/files/Map%20Coloring%20WP2.pdf
[Dwave5]“Reverse Annealing for Local Refinement of Solutions.” D-Wave White Paper Series, no. 14-1018A-A. 2017. https://www.dwavesys.com/resources/publications.
[Dwave6]“Virtual Graphs for High-Performance Embedded Topologies.” D-Wave White Paper Series, no. 14-1020A, 2017. https://www.dwavesys.com/resources/publications.
[Els2017]Nada Elsokkary, Faisal Shah Khan, Davide La Torre, Travis S. Humble, and Joel Gottlieb. “Financial Portfolio Management using D-Wave’s Quantum Optimizer: The Case of Abu Dhabi Securities Exchange.”
[Flo2017]Florian Neukart, Gabriele Compostella, Christian Seidel, David von Dollen, Sheir Yarkoni, and Bob Parney. “Traffic flow optimization using a quantum annealer.” arXiv:1708.01625. 4 Aug 2017. https://arxiv.org/abs/1708.01625
[Fra1989]Francesca Rossi, Charles Petrie, and Vasant Dhar. “On the Equivalence of Constraint Satisfaction Problems.” Technical Report ACTAI-222-89, MCC, Austin, TX. 1989.
[Geo2013]I. M. Georgescu, S. Ashhab, and Franco Nori. “Quantum Simulation.” arXiv:1308.6253 28 Aug 2013 https://arxiv.org/abs/1308.6253
[Glo1990]Glover, F. “Tabu Search: A Tutorial.” Interfaces July/August 1990 20:74-94. https://pubsonline.informs.org/doi/pdf/10.1287/inte.20.4.74
[Glo2017]Fred Glover, Mark Lewis, and Gary Kochenberger. “Logical and Inequality Implications for Reducing the Size and Complexity of Quadratic Unconstrained Binary Optimization Problems.” arXiv:1705.09545. https://arxiv.org/abs/1705.09545
[Har2010]R. Harris et al. “Experimental demonstration of a robust and scalable flux qubit.” Phys. Rev. B 81. 13 Apr. 2010. https://arxiv.org/abs/0909.4321
[Hin2012]Geoffrey E. Hinton. “A Practical Guide to Training Restricted Boltzmann Machines.” Pages 599–619, Springer, Berlin, Heidelberg . 2012. https://www.cs.toronto.edu/~hinton/absps/guideTR.pdf
[Ish2011]Hiroshi Ishikawa. “Transformation of General Binary MRF Minimization to the First-Order Case.” IEEE Transactions on Pattern Analysis and Machine Intelligence, VOL. 33, NO. 6. June 2011. http://ieeexplore.ieee.org/document/5444874/
[Joh2007]J. K. Johnson, D. M. Malioutov, and A. S. Willsky. “Lagrangian relaxation for MAP estimation in graphical models.” Proceedings of The 45th Allerton Conference on Communication, Control and Computing. Sept. 2007.
[Jor2011]Stephen Jordan. “Quantum Algorithm Zoo.” http://math.nist.gov/quantum/zoo/
[Jue2016]Juexiao Su, Tianheng Tu, and Lei He. “A quantum annealing approach for Boolean Satisfiability problem.” Design Automation Conference (DAC), 2016 53nd ACM/EDAC/IEEE. http://ieeexplore.ieee.org/document/7544390/
[Kin2014]A. D. King and C. C. McGeoch. “Algorithm engineering for a quantum annealing platform.” arXiv preprint arXiv:1410.2628 (2014). http://arxiv.org/abs/1410.2628
[Kin2016]A. D. King et al. “Degeneracy, degree, and heavy tails in quantum annealing.” Physical Review A 93.5 (2016): 052320. https://arxiv.org/abs/1512.07325
[Koc2004]G. Kochenberger et al. “A unified modeling and solution framework for combinatorial optimization problems.” OR Spectrum 26 (2004), pp. 237–250. http://leeds-faculty.colorado.edu/glover/fred%20pubs/333%20-%20xQx%20-%20Unified%20modeling%20and%20solution%20framework%20(short).doc.
[Kol2004]V. Kolmogorov and R. Zabih. “What energy functions can be minimized via graph cuts?” IEEE Transactions on Pattern Analysis and Machine Intelligence, 26, 65-81. 2004. http://www.cs.cornell.edu/rdz/Papers/KZ-ECCV02-graphcuts.pdf.
[Kor2016]Dmytro Korenkevych, Yanbo Xue, Zhengbing Bian, Fabian Chudak, William G. Macready, Jason Rolfe, and Evgeny Andriyash. “Benchmarking Quantum Hardware for Training of Fully Visible Boltzmann Machines.” arXiv:1611.04528. 14 Nov 2016. https://arxiv.org/abs/1611.04528
[Lec2006]Yann LeCun. “Predicting structured outputs.” A Tutorial on Energy-Based Learning, MIT Press. 2006. http://yann.lecun.com/exdb/publis/pdf/lecun-06.pdf
[Lev1973]Leonid Levin. “Universal search problems” 1973. Translated into English by B. A. Trakhtenbrot “A survey of Russian approaches to perebor (brute-force searches) algorithms.” Annals of the History of Computing 6(4),384-400. 1984.
[Liu2005]W. Liu et al. “A hybrid multi-exchange local search for unconstrained binary quadratic program.” University of Mississippi, Hearin Center for Enterprise Science,HCES-09-05. 2005.
[Luc2013]Andrew Lucas. “Ising formulations of many NP problems.” arXiv:1302.5843. 23 Feb 2013. https://arxiv.org/abs/1302.5843
[Mar2007]R. Marinescu and R. Dechter. “Best-first AND/OR search for 0-1 integer linear programming.” Proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR). 2007. http://www.ics.uci.edu/~radum/papers/cpaior07-aobf.pdf.
[Pap1976]Spiros Papaioannou. “Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming.” IEEE Transactions on Computers > Volume: C-26 Issue: 6. 24 May 1976. http://ieeexplore.ieee.org/document/1674880/?arnumber=1674880
[Pea2008]J. Pearl. “Probabilistic Reasoning in Intelligent Systems.” 2nd ed. San Francisco, CA: Kaufmann, 1988.
[Per2012]Alejandro Perdomo-Ortiz, Neil Dickson, Marshall Drew-Brook, Geordie Rose, and Alán Aspuru-Guzik. “Finding low-energy conformations of lattice protein models by quantum annealing.” Scientific Reports 2, Article number: 571. 2012. https://www.nature.com/articles/srep00571
[Pud2014]K. L. Pudenz et al. “Error-corrected quantum annealing with hundreds of qubits.” Nature communications 5 (2014). http://www.nature.com/ncomms/2014/140206/ncomms4243/full/ncomms4243.html
[Pud2015]K. L. Pudenz et al. “Quantum annealing correction for random Ising problems.” Physical Review A 91.4 (2015): 042302. http://journals.aps.org/pra/abstract/10.1103/PhysRevA.91.042302
[Ret2017]Jacob Retallick, Michael Babcock, Miguel Aroca-Ouellette, Shane McNamara, Steve Wilton, Aidan, Mark Johnson, and Konrad Walus. “Algorithms for Embedding Quantum-Dot Cellular Automata Networks onto a Quantum Annealing Processor.” 14 September 2017. arXiv:1709.04972 https://arxiv.org/abs/1709.04972
[Rie2014]Eleanor G. Rieffel, Davide Venturelli, Bryan O’Gorman, Minh B. Do, Elicia Prystay, and Vadim N. Smelyanskiy. “A case study in programming a quantum annealer for hard operational planning problems.” arXiv:1407.2887 [quant-ph] 10 Jul 2014 https://arxiv.org/abs/1407.2887v1
[Rol2016]Jason Tyler Rolfe. “Discrete Variational Autoencoders.” arXiv:1609.02200. 7 Sep 2016. https://arxiv.org/abs/1609.02200
[Ros2016]G. Rosenberg et al. “Building an iterative heuristic solver for a quantum annealer.” Computational Optimization and Applications. Springer (2016), pp. 1-25. http://arxiv.org/abs/1507.07605
[Ros2016a]Gili Rosenberg, Poya Haghnegahdar, Phil Goddard, Peter Carr, Kesheng Wu, and Marcos López de Prado. “Solving the Optimal Trading Trajectory Problem Using a Quantum Annealer.” arXiv:1508.06182v3. 11 Aug 2016. https://arxiv.org/pdf/1508.06182.pdf
[Sal2007]Ruslan Salakhutdinov, Andriy Mnih, and Geoffrey Hinton. “Restricted Boltzmann Machines for Collaborative Filtering.” The International Machine Learning Society. 2007.
[Sch2009]Nicol N. Schraudolph and Dmitry Kamenetsky. “Efficient exact inference in planar Ising models.” Advances in Neural Information Processing Systems 21, MIT Press. 2009. http://users.rsise.anu.edu.au/~dkamen/nips08.pdf.
[Tan2015]Richard Tanburn, Emile Okada, and Nike Dattani. “Reducing multi-qubit interactions in adiabatic quantum computation without adding auxiliary qubits. Part 1: The “deduc-reduc” method and its application to quantum factorization of numbers.” arXiv:1508.04816 19 Aug 2015 https://arxiv.org/abs/1508.04816
[Ush2017]Hayato Ushijima-Mwesigwa, Christian F. A. Negre, and Susan M. Mniszewski. “Graph Partitioning using Quantum Annealing on the D-Wave System.” arXiv:1705.03082. 4 May 2017. https://arxiv.org/abs/1705.03082v1.
[Vah2017]Arash Vahdat. “Toward Robustness against Label Noise in Training Deep Discriminative Neural Networks.” arXiv:1706.00038. 27 May 2017. https://arxiv.org/abs/1706.00038
[Ven2015]Davide Venturelli, Dominic J.J. Marchand, and Galo Roj. “Job Shop Scheduling Solver based on Quantum Annealing.” arXiv:1506.08479 29 Jun 2015 https://arxiv.org/pdf/1506.08479.pdf
[Ven2015b]Davide Venturelli, Salvatore Mandrà, Sergey Knysh, Bryan O’Gorman, Rupak Biswas, and Vadim Smelyanskiy. “Quantum Optimization of Fully Connected Spin Glasses”. Phys. Rev. X. 18 September 2015. https://journals.aps.org/prx/abstract/10.1103/PhysRevX.5.031040
[Wea2014]S. A. Weaver, K. J. Ray, V. W. Marek, A. J. Mayer, and A. K. Walker. “Satisfiability based set membership filters.” Journal on Satisfiability, Boolean Modeling and Computation 8, 129 (2014). https://satassociation.org/jsat/index.php/jsat/article/download/102/94