Progress bar for sat solvers. Unpublished manuscript, http://sdg.lcs.mit.edu/satsolvers/progressbar.html (2000)

by D Kokotov, I Shlyakhter