An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas.

Erin Parker Siddhartha Chatterjee

Published in: CC (2004)

Keyphrases

optimal solution
np hard
similarity measure
matching algorithm
database
metadata
data structure