C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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