On the use of Max-SAT and PDDL in RBAC maintenance.
Marco BenedettiMarco MoriPublished in: Cybersecur. (2019)
Keyphrases
- max sat
- weighted max sat
- lower bound
- access control
- sat solvers
- tabu search
- branch and bound algorithm
- search algorithm
- role based access control
- satisfiability problem
- branch and bound
- sat problem
- maximum satisfiability
- stochastic local search
- constraint satisfaction
- planning domains
- linear programming
- cnf formula
- boolean satisfiability
- variable ordering
- ai planning
- situation calculus
- temporal planning
- derived predicates
- unsatisfiable cores
- neural network
- mutual exclusion
- search tree
- search strategies
- metaheuristic
- information retrieval