Extending propositional satisfiability to determine minimal fuzzy-rough reducts.

Richard Jensen Andrew Tuson Qiang Shen

Published in: FUZZ-IEEE (2010)

Keyphrases

propositional satisfiability
rough sets
sat solvers
propositional logic
automated reasoning
max sat
sat problem
artificial intelligence
constraint programming
davis putnam
solving hard
industrial applications
cellular automata
metaheuristic
search algorithm
genetic algorithm
information retrieval