Monadic Decomposition.

Margus Veanes Nikolaj Bjørner Lev Nachmanson Sergey Bereg

Published in: J. ACM (2017)

Keyphrases

deductive databases
data sets
databases
special case
datalog queries
case study
similarity measure
decomposition method
datalog programs
database
neural network
genetic algorithm
decomposition methods
shape decomposition