Verifying a Mix Net in CSP.
Efstathios StathakidisDavid M. WilliamsJames HeatherPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- decomposition methods
- tree decomposition
- constraint solving
- constraint propagation
- constraint programming
- tree decompositions
- database programming
- np hard
- special case
- constraint networks
- computational complexity
- video sequences
- image sequences
- social networks
- constraint graph
- data sets