Fig. 2From: On the use of Max-SAT and PDDL in RBAC maintenanceMinimum time to compute feasible solutions to Firewall1 (y axis, secs) as a function of the number of users (x axis). Along the x axis we also note the size of the corresponding CNF encoding in MegabytesBack to article page