Digitaltechnik — eine praxisnahe Einfuhrung / A. Biere [et al.], 2008 r=on-line. - Текст : электронный.
Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, Wa, USA, August 12-15, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line