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

Jianzhou Zhao Jinian Bian Weimin Wu

Published in: COMPSAC (2004)

Keyphrases

sat solvers
orders of magnitude
sat solving
boolean satisfiability
sat problem
search strategies
propositional satisfiability
sat instances
fuzzy sets
fuzzy numbers
search space
max sat
search tree
constraint satisfaction
sat encodings
reinforcement learning
np complete
answer sets
clause learning