Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008: proceedings / ed. H. Kleine Buning, 2008 r=on-line. - Текст : электронный.
Приложение
для Android