A General, Flexible and Efficient Proof of Inclusion and Exclusion.

Published in: CT-RSA (2011)

Keyphrases

special case
image processing
lightweight
computationally expensive
cost effective
provably correct
machine learning
information systems
wide range
logic programs
highly efficient