Satisfiability of Dolev-Yao Constraints.

Laurent Mazaré

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

constraint satisfaction
computational complexity
satisfiability problem
constraint programming
databases
data mining
case study
image sequences
objective function
symmetry breaking
sat encodings