Constraint Methods for Modal Satisfiability.

Sebastian Brand Rosella Gennari Maarten de Rijke

Published in: CSCLP (2003)

Keyphrases

computational cost
benchmark datasets
data mining
information systems
significant improvement
data mining techniques
search methods
genetic algorithm
empirical studies