A New Mehtod for Proving Certain Presburger Formules.

Published in: IJCAI (1975)

Keyphrases

data structure
databases
database
optimal solution
search algorithm
response time
distributed systems
presburger arithmetic