Login / Signup
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