"Over-Constrained Systems " - читать интересную книгу автора (Michael Jampel, Eugene Freuder, Michael Maher)