pith. sign in

arxiv: 2501.19221 · v2 · submitted 2025-01-31 · 🪐 quant-ph · physics.comp-ph

VeloxQ: A Fast and Efficient QUBO Solver

Pith reviewed 2026-05-23 04:36 UTC · model grok-4.3

classification 🪐 quant-ph physics.comp-ph
keywords QUBO solverQuadratic Unconstrained Binary Optimizationclassical optimizationquantum annealingscalabilitybenchmarkingsparse instancesbinary optimization
0
0 comments X

The pith

VeloxQ solves large QUBO problems on ordinary computers and scales to instances with 10^8 variables where others cannot.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper presents VeloxQ as a solver for Quadratic Unconstrained Binary Optimization problems that runs on standard computing hardware. Through extensive benchmarks against quantum annealers, physics-inspired methods, and classical solvers like CPLEX, it shows competitive or superior solution quality and runtimes across native topologies, embedded problems, HUBO-derived cases, and planted-solution tests. VeloxQ stands out for its ability to process the largest sparse instances up to 10^8 variables within practical time limits, unlike the other methods tested. This offers an immediate option for optimization tasks in areas such as scheduling and machine learning without requiring specialized quantum devices.

Core claim

VeloxQ delivers competitive solution quality and runtime across the benchmark suite of native quantum-annealer topologies, embedded all-to-all instances, HUBO-derived instances, planted-solution instances, certified-solver regimes, and dense Branch-and-Bound test cases; in several regimes it outperforms the compared solvers and is the only method runnable on the largest sparse instances with up to 10^8 sparsely connected variables within the computational budget.

What carries the argument

VeloxQ, a solver for Quadratic Unconstrained Binary Optimization (QUBO) problems implemented on conventional computing infrastructure.

Load-bearing premise

The benchmark instances and comparison protocols are representative of practical QUBO difficulty with runtime and quality metrics measured under equivalent conditions across platforms.

What would settle it

A new set of large sparse QUBO instances with 10^8 variables on which VeloxQ produces lower-quality solutions or requires more runtime than at least one compared solver such as D-Wave or CPLEX.

Figures

Figures reproduced from arXiv: 2501.19221 by B. Gardas, H. Louzada, J. Paw{\l}owski, J. Tuziemski, K. Hendzel, {\L}. Pawela, P. Tarasiuk, R. Adamski.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5 [PITH_FULL_IMAGE:figures/full_fig_p006_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6 [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7 [PITH_FULL_IMAGE:figures/full_fig_p007_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8 [PITH_FULL_IMAGE:figures/full_fig_p008_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9 [PITH_FULL_IMAGE:figures/full_fig_p008_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: FIG. 10 [PITH_FULL_IMAGE:figures/full_fig_p009_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: FIG. 11 [PITH_FULL_IMAGE:figures/full_fig_p011_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Since these instances are also randomized, for each size we have prepared 10 copies and averaged the results, again omitting the error bars for clarity. With a little optimization, VeloxQ can consistently find the ground state for even the largest instances with 90k vari￾ables, in the easy regime. Nevertheless, the default set￾tings are already sufficient to outperform PA and SBM in both difficulty regime… view at source ↗
Figure 13
Figure 13. Figure 13: FIG. 13 [PITH_FULL_IMAGE:figures/full_fig_p013_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: FIG. 14 [PITH_FULL_IMAGE:figures/full_fig_p014_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: FIG. 15 [PITH_FULL_IMAGE:figures/full_fig_p017_15.png] view at source ↗
read the original abstract

We introduce VeloxQ, a fast solver for Quadratic Unconstrained Binary Optimization (QUBO) problems, which are central to many real-world optimization tasks. Unlike approaches that depend on emerging quantum hardware, VeloxQ can be deployed on conventional computing infrastructure. We benchmark VeloxQ against state-of-the-art QUBO solvers from several families. These include quantum annealers, specifically D-Wave's Advantage and Advantage2 platforms; the digital-quantum BF-DCQO algorithm for Higher-Order Unconstrained Binary Optimization (HUBO) developed by Kipu Quantum; physics-inspired algorithms including Simulated Bifurcation, Parallel Annealing, and tropical tensor networks; and conventional methods including CPLEX, brute force, BEIT's Chimera solver, and Branch-and-Bound variants. The benchmark suite covers native quantum-annealer topologies, embedded all-to-all instances, HUBO-derived instances, planted-solution instances, certified-solver regimes, and dense Branch-and-Bound test cases. Across the benchmark suite, VeloxQ delivers competitive solution quality and runtime, and in several regimes outperforms the compared solvers. VeloxQ also demonstrates strong scalability. Among the solvers considered in this study, it was the only method we could run on the largest sparse instances within our computational budget, including problems with up to $10^{8}$ sparsely connected variables. These findings position VeloxQ as a competitive and practical tool for tackling large-scale QUBO/HUBO problems, offering a practical alternative to existing quantum and classical optimization methods.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces VeloxQ, a classical solver for Quadratic Unconstrained Binary Optimization (QUBO) problems deployable on conventional hardware. It benchmarks VeloxQ against quantum annealers (D-Wave Advantage and Advantage2), the BF-DCQO algorithm, physics-inspired methods (Simulated Bifurcation, Parallel Annealing, tropical tensor networks), and classical solvers (CPLEX, brute force, BEIT Chimera, Branch-and-Bound). The benchmark suite includes native topologies, embedded all-to-all instances, HUBO-derived problems, planted-solution instances, certified regimes, and dense test cases. The central empirical claim is that VeloxQ achieves competitive solution quality and runtime, outperforms comparators in several regimes, and is the only solver runnable on the largest sparse instances (up to 10^8 variables) within the computational budget.

Significance. If the benchmark protocols and results are reproducible and the implementation details are fully specified, the work would be significant as a practical classical baseline for large-scale QUBO/HUBO problems. The explicit comparison across quantum and classical families on a diverse suite, together with the reported scalability to 10^8-variable sparse instances, provides a concrete data point on the current reach of classical methods versus quantum-inspired approaches.

minor comments (3)
  1. [Abstract] Abstract: the statement that VeloxQ 'outperforms the compared solvers' in several regimes would be strengthened by at least one quantitative example (e.g., a specific runtime or quality ratio on a named instance family) rather than remaining purely qualitative.
  2. The manuscript should include a dedicated section or appendix describing the algorithmic core of VeloxQ (pseudocode, key heuristics, or complexity statements) so that the performance claims can be assessed independently of the benchmark tables.
  3. Benchmark description: clarify whether all solvers were run with default parameters or with instance-specific tuning, and whether wall-clock time includes embedding or preprocessing steps for the quantum platforms.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of VeloxQ and the recommendation for minor revision. The report correctly identifies the paper's focus on providing a practical classical baseline with extensive cross-family benchmarks and scalability to 10^8-variable instances. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; empirical benchmark paper

full rationale

The paper introduces VeloxQ and presents empirical benchmark comparisons against quantum annealers, physics-inspired algorithms, and classical solvers across native topologies, embedded instances, HUBO-derived cases, planted solutions, and large sparse problems up to 10^8 variables. No derivation chain, equations, fitted parameters, or self-citation load-bearing steps are described. The central claims are performance statements grounded in reported runtime and quality metrics rather than any mathematical reduction to inputs. This is a standard empirical report with no internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities inside the solver; the ledger is therefore empty by default.

pith-pipeline@v0.9.0 · 5842 in / 1129 out tokens · 39946 ms · 2026-05-23T04:36:40.626226+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Simulated Bifurcation Quantum Annealing

    quant-ph 2026-04 unverdicted novelty 6.0

    SBQA adds inter-replica interactions to simulated bifurcation to mimic quantum tunneling and improves performance on sparse rugged optimization problems over standard SBM.

  2. Quantum-inspired dynamical models on quantum and classical annealers

    quant-ph 2025-09 unverdicted novelty 6.0

    A parallel-in-time encoding turns quantum dynamical propagators into QUBO instances for direct benchmarking of quantum annealers against classical solvers on models from single-qubit rotations to PT-symmetric systems.

  3. Recent quantum runtime (dis)advantages

    quant-ph 2025-10 conditional novelty 5.0

    End-to-end runtime definitions and strong classical baselines show that three recent quantum advantage claims in annealing, Simon's problem, and hybrid algorithms do not hold on NISQ hardware.

Reference graph

Works this paper leans on

75 extracted references · 75 canonical work pages · cited by 3 Pith papers · 3 internal anchors

  1. [1]

    Goto, Bifurcation-based adiabatic quantum computa- tion with a nonlinear oscillator network, Scientific Re- ports 6, 21686 (2016)

    H. Goto, Bifurcation-based adiabatic quantum computa- tion with a nonlinear oscillator network, Scientific Re- ports 6, 21686 (2016)

  2. [2]

    H. Goto, K. Tatsumura, and A. R. Dixon, Combina- torial optimization by simulating adiabatic bifurcations in nonlinear hamiltonian systems, Science Advances 5, eaav2372 (2019)

  3. [3]

    Jiang, K

    M. Jiang, K. Shan, C. He, and C. Li, Efficient combinato- rial optimization by quantum-inspired parallel annealing in analogue memristor crossbar, Nature Communications 14, 5927 (2023)

  4. [4]

    Kirkpatrick, C

    S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi, Optimiza- tion by Simulated Annealing, Science 220, 671 (1983)

  5. [5]

    Quantumz.io, VeloxQ QUBO solver (2025), accessed: 2025-01-31

  6. [6]

    S. V. Romero, A.-M. Visuri, A. G. Cadavid, E. Solano, and N. N. Hegade, Bias-field digitized counterdiabatic quantum algorithm for higher-order binary optimization, arxiv:2409.04477 (2024)

  7. [7]

    Ja lowiecki, M

    K. Ja lowiecki, M. M. Rams, and B. Gardas, Brute-forcing spin-glass problems with cuda, Computer Physics Com- munications 260, 107728 (2021)

  8. [8]

    Ja lowiecki and L

    K. Ja lowiecki and L. Pawela, Omnisolver: An extensi- ble interface to Ising spin–glass and QUBO solvers, Soft- wareX 24, 101559 (2023)

  9. [9]

    Ja lowiecki, L

    K. Ja lowiecki, L. Pawela, B. Gardas, A. Przybysz, and J. Tuziemski, GPU based brute-force solver for QUBO and Ising instances, In preparation (2025)

  10. [10]

    BEIT, BEIT QUBO solver user manual, accessed: 2024- 12-19

  11. [11]

    BEIT, AWS Marketplace: QUBO Solver by BEIT (2024), accessed: 2025-01-30

  12. [12]

    J.-G. Liu, L. Wang, and P. Zhang, Tropical tensor net- work for ground states of spin glasses, Physical Review Letters 126 (2021)

  13. [13]

    Chalkis, T

    A. Chalkis, T. Kleinert, and B. Sofranac, QUBO Dual Bounds via SDP Plane Projection Method, arXiv:2312.15026 (2023)

  14. [14]

    Quantagonia, How good is good enough?, Quantagonia Blog (2023), accessed: 2024-12-11

  15. [15]

    Sheldon, F

    F. Sheldon, F. L. Traversa, and M. Di Ventra, Taming a nonconvex landscape with dynamical long-range or- der: Memcomputing Ising benchmarks, Physical Review E 100 (2019)

  16. [16]

    Yamamoto, T

    Y. Yamamoto, T. Leleu, S. Ganguli, and H. Mabuchi, Co- herent Ising machines — quantum optics and neural net- work perspectives, Applied Physics Letters 117 (2020)

  17. [17]

    J. Si, S. Yang, Y. Cen, J. Chen, and Y. Huang et al., Energy-efficient superparamagnetic Ising machine and its application to traveling salesman problems, Nature Com- munications 15, 3457 (2024)

  18. [18]

    J. Wang, D. Ebler, K. Y. M. Wong, D. S. W. Hui, and J. Sun, Bifurcation behaviors shape how continuous phys- ical dynamics solves discrete Ising optimization, Nature Communications 14, 2510 (2023)

  19. [19]

    H. Wang, Z. Liu, Z. Xie, L. Li, and Z. Miao et al., Paral- lel Ising annealer via gradient-based hamiltonian monte carlo, Quantum Machine Intelligence 7, 6 (2025)

  20. [20]

    Bartosik, K

    P.-L. Bartosik, K. Donatella, M. Aifer, D. Melanson, and M. Perarnau-Llobet et al., Thermodynamic algorithms for quadratic programming, arXiv:2411.14224 (2024)

  21. [21]

    Aifer, K

    M. Aifer, K. Donatella, M. H. Gordon, S. Duffield, and T. Ahle et al., Thermodynamic linear algebra, npj Un- conventional Computing 1, 13 (2024)

  22. [22]

    CPLEX, IBM ILOG, Users manual for CPLEX (2024)

  23. [23]

    Paw lowski, J

    J. Paw lowski, J. Tuziemski, P. Tarasiuk, A. Przybysz, and R. A. Adamski et al., VoloxQ data repository, ac- cessed: 2025-01-31

  24. [24]

    Kochenberger, J.-K

    G. Kochenberger, J.-K. Hao, F. Glover, M. Lewis, and Z. L¨ u, The unconstrained binary quadratic programming problem: A survey, Journal of Combinatorial Optimiza- tion 28, 58 (2014)

  25. [25]

    Abbas, A

    A. Abbas, A. Ambainis, B. Augustino, A. B¨ artschi, and H. Buhrman et al., Challenges and opportunities in quan- tum optimization, Nature Reviews Physics 6, 718 (2024)

  26. [26]

    Boettcher, Analysis of the relation between quadratic unconstrained binary optimization and the spin-glass ground-state problem, Physical Review Research 1, 033142 (2019)

    S. Boettcher, Analysis of the relation between quadratic unconstrained binary optimization and the spin-glass ground-state problem, Physical Review Research 1, 033142 (2019)

  27. [27]

    Glover, G

    F. Glover, G. Kochenberger, R. Hennig, and Y. Du, Quantum bridge analytics I: a tutorial on formulating and using QUBO models, Annals of Operations Research 314, 141 (2022)

  28. [28]

    Lewis, Guide to graph colouring (Springer, 2021)

    R. Lewis, Guide to graph colouring (Springer, 2021)

  29. [29]

    C. W. Commander, Maximum Cut Problem, MAX-CUT, in Encyclopedia of Optimization, edited by C. A. Floudas and P. M. Pardalos (Springer US, Boston, MA, 2009) pp. 1991–1999. 19

  30. [30]

    K. L. Hoffman, M. Padberg, and G. Rinaldi, Travel- ing salesman problem, in Encyclopedia of Operations Re- search and Management Science, edited by S. I. Gass and M. C. Fu (Springer US, Boston, MA, 2013) pp. 1573– 1578

  31. [31]

    Eggersgl¨ uß and R

    S. Eggersgl¨ uß and R. Drechsler, Boolean satisfiability, in High Quality Test Pattern Generation and Boolean Sat- isfiability (Springer US, Boston, MA, 2012) pp. 41–57

  32. [32]

    Dattani, Quadratization in discrete optimization and quantum mechanics, arxiv:1901.04405 (2019)

    N. Dattani, Quadratization in discrete optimization and quantum mechanics, arxiv:1901.04405 (2019)

  33. [33]

    Gurobi Optimization, LLC, Gurobi Optimizer Reference Manual (2024)

  34. [34]

    Bierlaire, Optimization: Principles and Algorithms , 2nd ed

    M. Bierlaire, Optimization: Principles and Algorithms , 2nd ed. (EPFL Press, Lausanne, 2018)

  35. [35]

    C. Fan, M. Shen, Z. Nussinov, Z. Liu, and Y. Sun et al., Searching for spin glass ground states through deep reinforcement learning, Nature Communications 14, 725 (2023)

  36. [36]

    Boettcher, Deep reinforced learning heuristic tested on spin-glass ground states: The larger picture, Nature Communications 14, 5658 (2023)

    S. Boettcher, Deep reinforced learning heuristic tested on spin-glass ground states: The larger picture, Nature Communications 14, 5658 (2023)

  37. [37]

    E. J. Crosson and D. A. Lidar, Prospects for quantum enhancement with diabatic quantum annealing, Nature Reviews Physics 3, 466 (2021)

  38. [38]

    Villanueva, P

    A. Villanueva, P. Najafi, and H. J. Kappen, Why adi- abatic quantum annealing is unlikely to yield speed-up, Journal of Physics A: Mathematical and Theoretical 56, 465304 (2023)

  39. [39]

    Irb¨ ack, L

    A. Irb¨ ack, L. Knuthson, S. Mohanty, and C. Peterson, Folding lattice proteins with quantum annealing, Physi- cal Review Research 4, 043013 (2022)

  40. [40]

    Bucher, D

    D. Bucher, D. Porawski, B. Wimmer, J. N¨ ußlein, and C. O’Meara et al., Grid cost allocation in peer-to-peer electricity markets: Benchmarking classical and quantum optimization approaches, arXiv: 2501.05253 (2025)

  41. [41]

    Verresen, Everything is a quantum Ising model, arXiv:2301.11917 (2023)

    R. Verresen, Everything is a quantum Ising model, arXiv:2301.11917 (2023)

  42. [42]

    A. D. King, A. Nocera, M. M. Rams, J. Dziarmaga, and R. Wiersema et al., Computational supremacy in quan- tum simulation, arxiv:2403.00910 (2024)

  43. [43]

    Pirnay, V

    N. Pirnay, V. Ulitzsch, F. Wilde, J. Eisert, and J.-P. Seifert, An in-principle super-polynomial quantum ad- vantage for approximating combinatorial optimization problems via computational learning theory, Science Ad- vances 10, eadj5170 (2024)

  44. [44]

    Google Quantum AI and Collaborators, Quantum er- ror correction below the surface code threshold, Nature (2024)

  45. [45]

    A Quantum Approximate Optimization Algorithm

    E. Farhi, J. Goldstone, and S. Gutmann, A quantum approximate optimization algorithm, arxiv:1411.4028 (2014)

  46. [46]

    Isakov, I

    S. Isakov, I. Zintchenko, T. Rønnow, and M. Troyer, Op- timised simulated annealing for Ising spin glasses, Com- puter Physics Communications 192, 265–271 (2015)

  47. [47]

    A. M. Dziubyna, T. ´Smierzchalski, B. Gardas, M. M. Rams, and M. Mohseni, Limitations of tensor network approaches for optimization and sampling: A com- parison against quantum and classical Ising machines, arxiv:2411.16431 (2024)

  48. [48]

    Zeng, X.-P

    Q.-G. Zeng, X.-P. Cui, B. Liu, Y. Wang, and P. Mosharev et al., Performance of quantum annealing inspired algo- rithms for combinatorial optimization problems, Com- munications Physics 7, 249 (2024)

  49. [49]

    S. Boyd, N. Parikh, E. Chu, B. Peleato, and J. Eckstein, Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers (2011)

  50. [50]

    ADMM and Accelerated ADMM as Continuous Dynamical Systems

    G. Fran¸ ca, D. P. Robinson, and R. Vidal, Admm and ac- celerated admm as continuous dynamical systems (2018), arXiv:1805.06579

  51. [51]

    Fran¸ ca, D

    G. Fran¸ ca, D. P. Robinson, and R. Vidal, Gradient flows and proximal splitting methods: A unified view on ac- celerated and stochastic optimization, Physical Review E 103 (2021)

  52. [52]

    Fran¸ ca, D

    G. Fran¸ ca, D. P. Robinson, and R. Vidal, A nonsmooth dynamical systems perspective on accelerated extensions of admm, IEEE Transactions on Automatic Control 68, 2966–2978 (2023)

  53. [53]

    D-Wave, Minor embbeding, accessed: 2025-01-30

  54. [54]

    Boothby, P

    K. Boothby, P. Bunyk, J. Raymond, and A. Roy, Next- generation topology of D-Wave quantum processors, arxiv:2003.00133 (2020)

  55. [55]

    Boothby, A

    K. Boothby, A. D. King, and J. Raymond, Zephyr topol- ogy of D-Wave quantum processors (2021), accessed: 2025-01-31

  56. [56]

    H. M. Markowitz, Portfolio selection: efficient diversifi- cation of investments (Yale University Press, 1959)

  57. [57]

    D-Wave, D-Wave hybrid framework (2025), accessed: 2025-01-30

  58. [58]

    D-Wave, The D-Wave Clarity Roadmap (2025), accessed: 2025-01-30

  59. [59]

    Z. L¨ u, F. Glover, and J.-K. Hao, A hybrid metaheuristic approach to solving the ubqp problem, European Journal of Operational Research 207, 1254 (2010)

  60. [60]

    Zintchenko, M

    I. Zintchenko, M. B. Hastings, and M. Troyer, From lo- cal to global ground states in Ising spin glasses, Physical Review B 91, 024201 (2015)

  61. [61]

    H. Goto, K. Endo, M. Suzuki, Y. Sakai, and Taro et al., High-performance combinatorial optimization based on classical mechanics, Science Advances 7, eabe7953 (2021)

  62. [62]

    Hen, Equation Planting: A Tool for Benchmarking Ising Machines, Physical Review Applied 12, 011003 (2019)

    I. Hen, Equation Planting: A Tool for Benchmarking Ising Machines, Physical Review Applied 12, 011003 (2019)

  63. [63]

    Perera, F

    D. Perera, F. Hamze, J. Raymond, M. Weigel, and H. G. Katzgraber, Computational hardness of spin-glass prob- lems with tile-planted solutions, Physical Review E 101, 023316 (2020)

  64. [64]

    Hamze, J

    F. Hamze, J. Raymond, C. A. Pattison, K. Biswas, and H. G. Katzgraber, The Wishart planted ensemble: A Tunably-Rugged pairwise Ising model with a first- order phase transition, Physical Review E 101, 052102 (2020)

  65. [65]

    Perera, I

    D. Perera, I. Akpabio, F. Hamze, S. Mandra, and N. Rose et al., Chook – A comprehensive suite for generating binary optimization problems with planted solutions, arXiv:2005.14344 (2021)

  66. [66]

    L. A. Wolsey, Integer Programming (John Wiley & Sons, 1998)

  67. [67]

    H¨ aner, K

    T. H¨ aner, K. E. Booth, S. E. Borujeni, and E. Y. Zhu, Solving QUBOs with a quantum-amenable branch and bound method, arXiv:2407.20185 (2024)

  68. [68]

    Huo and R

    X. Huo and R. Gu, A vectorized positive semidefinite penalty method for unconstrained binary quadratic pro- gramming, arXiv:2408.04875 (2024)

  69. [69]

    F. G.S L. Brand˜ ao, R. Kueng, and D. Stilck Fran¸ ca, Faster quantum and classical SDP approximations for quadratic binary optimization, Quantum 6, 625 (2022). 20

  70. [70]

    Born and V

    M. Born and V. Fock, Beweis des Adiabatensatzes, Zeitschrift f¨ ur Physik51, 165 (1928)

  71. [71]

    BinaryConnect: Training Deep Neural Networks with binary weights during propagations

    M. Courbariaux, Y. Bengio, and J.-P. David, Bina- ryConnect: Training Deep Neural Networks with binary weights during propagations, arXiv:1511.00363 (2016)

  72. [72]

    Qian, On the momentum term in gradient descent learning algorithms, Neural Networks 12, 145 (1999)

    N. Qian, On the momentum term in gradient descent learning algorithms, Neural Networks 12, 145 (1999)

  73. [73]

    Glover, G

    F. Glover, G. A. Kochenberger, and B. Alidaee, Adap- tive memory tabu search for binary quadratic programs, Management Science 44, 336 (1998)

  74. [74]

    Wiegele, Biq mac library - binary quadratic and Max- Cut library, https://biqmac.aau.at/biqmaclib.html, accessed: 2025-01-16

    A. Wiegele, Biq mac library - binary quadratic and Max- Cut library, https://biqmac.aau.at/biqmaclib.html, accessed: 2025-01-16

  75. [75]

    R. B. Lehoucq, D. C. Sorensen, and C. Yang, ARPACK Users’ Guide: Solution of Large-Scale Eigenvalue Prob- lems with Implicitly Restarted Arnoldi Methods , Tech. Rep. (Rice University, 1998)