"Constraint Solving Over Multi-valued Logics: Application to Digital Circuits" - читать интересную книгу автора (Francisco Azevedo)