Enhancing and Evaluating the Product Fuzzy DPLL Solver.

Published in: SN Comput. Sci. (2022)

Keyphrases

fuzzy sets
clause learning
sat solving
membership functions
fuzzy logic
np complete
fuzzy clustering
fuzzy numbers
fuzzy rules
fuzzy neural network
fuzzy set theory
sat solvers
search tree
randomly generated
sat problem
product development
rough sets
neural network