Franc Brglez Xiao Yu Li Matthias F. M. Stallmann On SAT instance classes and a method for reliable performance experiments with SAT solvers. 1-34 2005 43 Ann. Math. Artif. Intell. 1 http://www.springerlink.com/index/10.1007/s10472-005-0417-5 db/journals/amai/amai43.html#BrglezLS05