Monadic Decomposition in Integer Linear Arithmetic (Technical Report).

Matthew Hague Anthony Widjaja Lin Philipp Rümmer Zhilin Wu

Published in: CoRR (2020)

Keyphrases

technical report
haar transform
integer arithmetic
deductive databases
floating point
data management
real time
knowledge base
closed form
decomposition method
datalog programs