Generating Counter-Examples Through Randomized Guided Search.

Neha Rungta Eric G. Mercer

Published in: SPIN (2007)

Keyphrases

counter examples
logic programs
answer sets
data sets
real world
data mining
computer vision
high level