by Francisco Azevedo · IOS Press,US · tapa blanda · ISBN 9781586033040
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Constraint Solving Over Multi-valued Logics: Application to Digital Circuits» is the technical study by Francisco Azevedo, in paperback, in English.
It studies systems in which component failures only manifest at the output for certain inputs, posing testing and diagnosis problems. It develops models with multi-valued logics that extend Boolean logic by encoding dependencies between failures, and generalizes them to situations with multiple failures. Constraint solving over finite domains and sets proves effective in several of these problems.
Volume 91 of the Frontiers in Artificial Intelligence and Applications series. Originally published in 2002, it comprises 224 pages.
Aimed at researchers, engineers, and postgraduate students in artificial intelligence, electronics, and circuit diagnosis.
Tapa blanda
Tapa blanda
