A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909089864351744 |
|---|---|
| author | Fleury, Gerard Lacomme, Philippe |
| author_facet | Fleury, Gerard Lacomme, Philippe |
| contents | This paper addresses the resolution of the 3-SAT problem using a QAOA-like approach. The chosen principle involves modeling the solution ranks of the 3-SAT problem, which, in this particular case, directly represent a solution. This results in a highly compact circuit with few gates, enabling the modeling of large-sized 3-SAT problems. Numerical experimentation demonstrates that the approach can solve instances composed of 91 clauses and 20 variables with an implementation based on Qiskit. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_00065 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach Fleury, Gerard Lacomme, Philippe Artificial Intelligence Quantum Physics This paper addresses the resolution of the 3-SAT problem using a QAOA-like approach. The chosen principle involves modeling the solution ranks of the 3-SAT problem, which, in this particular case, directly represent a solution. This results in a highly compact circuit with few gates, enabling the modeling of large-sized 3-SAT problems. Numerical experimentation demonstrates that the approach can solve instances composed of 91 clauses and 20 variables with an implementation based on Qiskit. |
| title | A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach |
| topic | Artificial Intelligence Quantum Physics |
| url | https://arxiv.org/abs/2402.00065 |