A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach

Résumé

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.

Dates et versions

hal-04752413 , version 1 (24-10-2024)

Identifiants

Citer

Gerard Fleury, Philippe Lacomme. A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach. 2024. ⟨hal-04752413⟩
7 Consultations
0 Téléchargements

Altmetric

Partager

More