Sign in
Static Compliance Checking beyond Separation of Duty Constraints.
Yang Bo
Chunhe Xia
Yang Luo
Qing Tang
Published in:
3PGCIC (2014)
Keyphrases
</>
constraint checking
dynamic constraints
artificial intelligence
constrained optimization
linear constraints
neural network
information systems
special case
scheduling problem
integrity constraints
mixed integer
consistency checking
constraint solving