Acyclic Programs.

Krzysztof R. Apt Marc Bezem

Published in: ICLP (1990)

Keyphrases

np hard
database schemes
control structures
control program
database systems
evolutionary algorithm
np complete
computer programs
provably correct
data sets
automatic programming
stable models
fixpoint
programming environment
knowledge representation
social networks
artificial intelligence