Limit search to available items
Book Cover
E-book
Author Azevedo, Francisco.

Title Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo
Published Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003
Online access available from:
ProQuest Ebook Central Subscription    View Resource Record  
EBSCO eBook Academic Collection    View Resource Record  

Copies

Description 1 online resource (xviii, 204 pages) : illustrations
Series Frontiers in artificial intelligence and applications ; v. 91
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence
Frontiers in artificial intelligence and applications ; v. 91
Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Contents Cover; Title page; Table of Contents; Chapter 1. Introduction; Chapter 2. Circuit Modelling; Chapter 3. Test Patterns; Chapter 4. Differential Diagnosis; Chapter 5. Problems with Multiple Diagnoses; Chapter 6. A New Set Constraint Solver: Cardinal; Chapter 7. Test Pattern Optimisation; Chapter 8. Generalisation, Discussion and Conclusion; References; Appendix A: ISCAS Circuits; Appendix B: Logics
Summary Systems are subject to faults in their components, affecting their overall behaviour. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults
Bibliography Includes bibliographical references (pages 145-153)
Notes Print version record
Subject Constraint programming (Computer science)
Digital electronics.
Many-valued logic.
Form Electronic book
LC no. 2002113947
ISBN 058545860X (electronic bk.)
1586033042 (IOS Press)
1601294123 (electronic bk.)
4274905551 (Ohmsha)
9780585458601 (electronic bk.)
9781586033040 (IOS Press)
9781601294128 (electronic bk.)
9784274905551 (Ohmsha)