On the cost of recomputing: Tight bounds on pebbling with faults.

Yonatan Aumann Judit Bar-Ilan Uriel Feige

Published in: Theor. Comput. Sci. (2000)

Keyphrases

tight bounds
upper bound
fault diagnosis
total cost
neural network
objective function
model based diagnosis
artificial intelligence
search algorithm
search space
document collections
test collection
cost sensitive
clause learning