Simple Programs Realize Exactly Presberger Formulas.

John C. Cherniavsky

Published in: SIAM J. Comput. (1976)

Keyphrases

data mining
highly reliable
provably correct
neural network
feature selection
web services
computer programs
automatic programming