Monadic Decomposition.

Margus Veanes Nikolaj Bjørner Lev Nachmanson Sergey Bereg

Published in: CAV (2014)

Keyphrases

deductive databases
decomposition methods
artificial intelligence
computer vision
bayesian networks
relational databases
multiresolution
special case
datalog programs