Verification and synthesis of firewalls using SAT and QBF.
Shuyuan ZhangAbdulrahman MahmoudSharad MalikSanjai NarainPublished 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