On Generating Solved Instances of Computational Problems.

Martín Abadi Eric Allender Andrei Z. Broder Joan Feigenbaum Lane A. Hemachandra

Published in: CRYPTO (1988)

Keyphrases

computational problems
constraint satisfaction problems
reasoning tasks
randomly generated
combinatorial problems
search algorithm
exact algorithms
expert systems
dynamic programming
decision makers
constraint programming
inference rules