Counting workflow satisfiability with exclusion constraints based on backtracking tree-decomposition
Zhinian ZHAI,Weixiang WANG,Yahui LU,Mingwei WU,Zhijun ZHENG,Fahong YU
Telecommunications Science . 2016, (10): 101 -109 .  DOI: 10.11959/j.issn.1000-0801.2016260

Copyright of Website: China InfoCom Media Group
Address: F2, Beiyang Chenguang Building, Shunbatiao No.1 Courtyard, Fengtai District, Beijing, China       Postal Code: 100079
Tel: （010）53879277、53879278、53879279        Email: dxkx@ptpress.com.cn