@misc{indiciaecef9812c66c8,
  title = {GASAT: a genetic local search algorithm for the satisfiability problem.},
  author = {Frédéric Lardeux and Frédéric Saubion and Jin-Kao Hao},
  year = {2006},
  doi = {10.1162/evco.2006.14.2.223},
  url = {https://pubmed.ncbi.nlm.nih.gov/16831107/},
  note = {Source identifier: 16831107}
}