On Bounded Reachability of Programs with Set Comprehensions.

Margus Veanes Ando Saabas

Published in: LPAR (2008)

Keyphrases

small number
neural network
databases
machine learning
artificial intelligence
decision making
decision trees
case study
multi agent
information technology
directed graph
computer programs