Login / Signup
SAT-Based Analysis and Quantification of Information Flow in Programs.
Vladimir Klebanov
Norbert Manthey
Christian J. Muise
Published in:
QEST (2013)
Keyphrases
</>
information flow
flow analysis
information systems
decision making
social networks
markov chain
constraint satisfaction