Satometer: how much have we searched? - Fadi A. Aloul; Brian D. Sierawski; Karem A. Sakallah (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)