Fig. 3From: On the use of Max-SAT and PDDL in RBAC maintenanceAverage percentage of satisfied soft clauses (y axis) as a function of the balance β (x axis) in the SmallComp datasetBack to article page