Authorization query method for RBAC based on partial MAX-SAT solver
SUN Wei LI Yanling LU Jun
Journal of Computer Applications . 2013, (05): 1367 -1390 .  DOI: 10.3724/SP.J.1087.2013.01367