Login / Signup
The Implementation of a Product Fuzzy DPLL Solver.
Ivor Uhliarik
Published in:
IJCCI (2020)
Keyphrases
</>
fuzzy numbers
fuzzy sets
np complete
membership functions
decision making
fuzzy logic
life cycle
efficient implementation
propositional logic
clause learning
neural network
computational intelligence
sat solvers
sat solving
parallel distributed