On the Complexity of Linear Arithmetic with Divisibility.

Antonia Lechner Joël Ouaknine James Worrell

Published in: LICS (2015)

Keyphrases

linear complexity
computational complexity
databases
case study
database systems
space complexity
simple linear
lower complexity
information retrieval
website
linear systems