@misc{indiciae45cee5a20640,
  title = {A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach},
  author = {Gerard Fleury and Philippe Lacomme},
  year = {2024},
  url = {https://arxiv.org/abs/2402.00065},
  note = {Source identifier: 2402.00065}
}