Danyang Cao, Lina Duan, Xue Gao, Lei Gao. Limited Constraint Problems Reasoning on Computer Based on "And/Or" Tree. In James J. Park, Vincenzo Loia, Gangman Yi, Yunsick Sung, editors, Advances in Computer Science and Ubiquitous Computing - CSA/CUTE 2017, Taichung, Taiwan, 18-20 December. Volume 474 of Lecture Notes in Electrical Engineering, pages 280-286, Springer, 2017. [doi]
Abstract is missing.