Superposition for Fixed Domains.

Matthias Horbach Christoph Weidenbach

Published in: CSL (2008)

Keyphrases

database systems
special case
application domains
fixed size
information retrieval
genetic algorithm
decision making
multi agent