Algorithmic QUBO formulations for <i>k</i> -SAT and hamiltonian cycles-Reference-Cited by-同舟云学术

Algorithmic QUBO formulations for k -SAT and hamiltonian cycles

Published:2022-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Genetic and Evolutionary Computation Conference Companion
language:
Short-container-title:

Author:

Nüßlein Jonas¹,Gabor Thomas¹,Linnhoff-Popien Claudia¹,Feld Sebastian²

Affiliation:

1. LMU Munich, Germany

2. TU Delft, Netherlands

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3520304.3533952

Reference38 articles.

1. Adiabatic quantum computation

2. David Applegate Robert Bixby Vasek Chevátal and William Cook. 2006. The traveling salesman problem: a computational study. David Applegate Robert Bixby Vasek Chevátal and William Cook. 2006. The traveling salesman problem: a computational study.

3. Physics-Inspired Optimization for Quadratic Unconstrained Problems Using a Digital Annealer

4. On the computational complexity of Ising spin glass models

5. Zhengbing Bian Fabian Chudak William Macready Aidan Roy Roberto Sebastiani and Stefano Varotti. 2018. Solving SAT and MaxSAT with a Quantum Annealer: Foundations Encodings and Preliminary Results. (2018). Zhengbing Bian Fabian Chudak William Macready Aidan Roy Roberto Sebastiani and Stefano Varotti. 2018. Solving SAT and MaxSAT with a Quantum Annealer: Foundations Encodings and Preliminary Results. (2018).

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An introduction to variational quantum algorithms for combinatorial optimization problems;Annals of Operations Research;2024-09-13

2. Q-GRID: Quantum Optimization for the Future Energy Grid;KI - Künstliche Intelligenz;2024-08-05

3. Amplitude amplification-inspired QAOA: improving the success probability for solving 3SAT;Quantum Science and Technology;2024-01-01

4. Optimal Clifford Initial States for Ising Hamiltonians;2023 IEEE International Conference on Rebooting Computing (ICRC);2023-12-05

5. On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming;Proceedings of the 7th International Conference on Algorithms, Computing and Systems;2023-10-19