An Algorithm for Satisfiability Degree Computation

Jian Luo, GuiMing Luo, Mo Xia. An Algorithm for Satisfiability Degree Computation. In Agostinho C. Rosa, Janusz Kacprzyk, Joaquim Filipe, António Dourado Correia, editors, ECTA and FCTA 2011 - Proceedings of the International Conference on Evolutionary Computation Theory and Applications and the Proceedings of the International Conference on Fuzzy Computation Theory and Applications [parts of the International Joint Conference on Computational Intelligence IJCCI 2011], Paris, France, 24-26 October, 2011. pages 501-504, SciTePress, 2011.

Abstract

Abstract is missing.