Fig. 8From: On the use of Max-SAT and PDDL in RBAC maintenanceSolutions obtained for the datasets (a) SmallComp, (b) Domino, and (c) University by using FM, MP, and RMS (timeout=1200 sec) to perform RBAC maintenance tasks. For RMS, different values of the balancing parameter are plotted (sampled at regular intervals over 0.0−1.0 with step 0.1). Solutions are positioned according to their average simplicity (x axis) and similarity (y axis)Back to article page