Counting Solutions to Presburger Formulas: How and Why.

Published in: PLDI (1994)

Keyphrases

databases
solution quality
efficient solutions
database
neural network
genetic algorithm
artificial intelligence
multiscale
optimal solution
expert systems
knowledge representation