@misc{indiciae1499e25154eb,
  title = {Adiabatic based Algorithm for SAT: a comprehensive algorithmic description},
  author = {Eric Bourreau and Gérard Fleury and Philippe Lacomme},
  year = {2022},
  url = {https://arxiv.org/abs/2207.09984},
  note = {Source identifier: 2207.09984}
}