TY  - RPRT
TI  - GASAT: a genetic local search algorithm for the satisfiability problem.
AU  - Frédéric Lardeux
AU  - Frédéric Saubion
AU  - Jin-Kao Hao
PY  - 2006
DO  - 10.1162/evco.2006.14.2.223
UR  - https://pubmed.ncbi.nlm.nih.gov/16831107/
ID  - 16831107
ER  -