Searching for Counter-Examples Adaptively.

Sharon Keidar Yoav Rodeh

Published in: IWFM (2003)

Keyphrases

counter examples
information retrieval
database
real time
databases
real world
genetic algorithm
image segmentation
general purpose
np complete