To access benchmark data sets, more detailed results of experiments,  
<br>
and the experimental test bed environment reported in this paper, 
<br>
<a href="http://www.cbl.ncsu.edu/OpenExperiments/SAT/">click here.</a>