@article {IOPORT.50051615,
    author       = {Bouhmala, Noureddine and Granmo, Ole-Christoffer},
    title        = {Combining finite learning automata with GSAT for the satisfiability problem},
    year         = {2010},
    journal      = {Eng. Appl. of AI},
    volume       = {23},
    number       = {5},
    pages        = {715-726},
    doi          = {10.1016/j.engappai.2010.01.009},
    identifier   = {50051615},
}