Reducing the Complexity of ILP Formulations for Synthesis.

Anne Mignotte Olivier Peyran

Published in: ISSS (1997)

Keyphrases

inductive logic programming
database
special case
space complexity
significantly reduced
real time
neural network
real world
computational complexity
expert systems
evolutionary algorithm
worst case
background knowledge
decision problems
memory requirements
functional programs