TY - RPRT TI - Evolutionary algorithms for the satisfiability problem. AU - Jens Gottlieb AU - Elena Marchiori AU - Claudio Rossi PY - 2002 DO - 10.1162/106365602317301763 UR - https://pubmed.ncbi.nlm.nih.gov/11911782/ ID - 11911782 ER -