Complexity Cores and Hard Problem Instances.

Published in: SIGAL International Symposium on Algorithms (1990)

Keyphrases

tractable cases
randomly generated
worst case
random sat
real world
knowledge base
case study
general purpose
operating system
space complexity