Richard Jensen, Andrew Tuson, Qiang Shen. Extending propositional satisfiability to determine minimal fuzzy-rough reducts. In FUZZ-IEEE 2010, IEEE International Conference on Fuzzy Systems, Barcelona, Spain, 18-23 July, 2010, Proceedings. pages 1-8, IEEE, 2010. [doi]
Abstract is missing.