SAT 2005 : satisfiability research in the year 2005 / ed. E. Giunchiglia, 2006 r=on-line. - Текст : электронный.