Satometer: how much have we searched?

F.A. Aloul, B.D. Sierawski, K.A. Sakallah
2002 Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)  
We introduce Satometer, a tool that can be used to estimate the percentage of the search space actually explored by a backtrack SAT solver. Satometer calculates a normalized minterm count for those portions of the search space identified by conflicts. The computation is carried out using a zero-suppressed BDD data structure and can have adjustable accuracy. The data provided by Satometer can help diagnose the performance of SAT solvers and can shed light on the nature of a SAT instance.
doi:10.1109/dac.2002.1012720 fatcat:uuddp7rjjfdybb2rjodqrk4zam