Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Satometer: How Much Have We Searched? Fadi A. Aloul
 

Summary: Satometer: How Much Have We Searched?
Fadi A. Aloul
Brian D. Sierawski
Karem A. Sakallah
Technical Report
June 1, 2002
THE UNIVERSITY OF MICHIGAN
Computer Science and Engineering Division
Department of Electrical Engineering and Computer Science
Ann Arbor, Michigan, 48109-2122
USA
2
Abstract
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 binary decision diagram (ZBDD) data structure and can have adjustable accu-
racy. The data provided by Satometer can help diagnose the performance of SAT solvers and can
shed light on the nature of a SAT instance.
3

  

Source: Aloul, Fadi - Department of Computer Engineering, American University of Sharjah

 

Collections: Engineering