Yang Zhao, GuiMing Luo. Satisfiability Degree Analysis for Transition System. In Fu Lee Wang, Hepu Deng, Yang Gao, Jingsheng Lei, editors, Artificial Intelligence and Computational Intelligence - International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I. Volume 6319 of Lecture Notes in Computer Science, pages 25-32, Springer, 2010. [doi]
Abstract is missing.