Verification and synthesis of firewalls using SAT and QBF.

Shuyuan Zhang Abdulrahman Mahmoud Sharad Malik Sanjai Narain

Published in: ICNP (2012)

Keyphrases

sat solvers
quantified boolean formulas
propositional satisfiability
boolean formula
boolean satisfiability
sat solving

sat problem
network security
search algorithm
max sat
quantified boolean formulae
program synthesis

symmetry breaking
model checking
stochastic local search
face verification
texture synthesis
satisfiability problem

conjunctive normal form
np complete
formal verification
automated reasoning
search strategies
constraint satisfaction problems