Extending the Non-Interference Version of MLS for SAT.

J. Thomas Haigh William D. Young

Published in: IEEE Symposium on Security and Privacy (1986)

Keyphrases

satisfiability problem
sat solvers
databases
multilevel security
access control
multipath
boolean satisfiability
database
data sets
neural network
np hard
orders of magnitude
parallel algorithm
max sat
stochastic local search algorithms
backtracking search