Simplifying Inclusion-Exclusion Formulas.

Xavier Goaoc Jirí Matousek Pavel Paták Zuzana Safernová Martin Tancer

Published in: Comb. Probab. Comput. (2015)

Keyphrases

model checking
learning algorithm
artificial intelligence
multi agent
digital libraries
query language
mathematical formulas
tree decompositions