@article{翟治年_605, author = {[翟治年, 卢亚辉, 余法红, 周武杰, 向坚, 吴茗蔚]}, title = {工作流可满足性(≠,=)计数及其#P完全性}, publisher = {电子学报}, year = {2017}, journal = {电子学报}, volume = {45}, number = {3}, eid = {605}, pages = {605-611}, keywords = {

工作流;访问控制;授权;约束;资源分配;可满足性

}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2017.03.015 }