PFGASAT - a genetic SAT solver combining partitioning and fuzzy strategies | IEEE Conference Publication | IEEE Xplore