PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie.

Jianzhou Zhao, Jinian Bian, Weimin Wu

Browse the full COMPSAC paper archive.