Monadic Decomposition in Integer Linear Arithmetic.

Matthew Hague Anthony W. Lin Philipp Rümmer Zhilin Wu

Published in: IJCAR (1) (2020)

Keyphrases

linear systems
floating point
decomposition method
haar transform
databases
deductive databases
image decomposition
real time
neural network
genetic algorithm
learning algorithm
image processing
lower bound
datalog queries