"Efficient solution of systems of boolean equations" - читать интересную книгу автора (Woods.)