Skip to content
Rider Library Catalog
You are not logged in |Login  
Add to My Lists Export MARC Display Return To Browse
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book
Author Azevedo, Francisco.

Title Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo.

Publication Info. Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003.
Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description 1 online resource (xviii, 204 pages) : illustrations.
Physical Medium polychrome
Description text file
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.
Bibliography Includes bibliographical references (pages 145-153).
Access Use copy Restrictions unspecified MiAaHDL
Reproduction Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
System Details Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL
Processing Action digitized 2010 HathiTrust Digital Library committed to preserve MiAaHDL
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.
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Constraint programming (Computer science)
Constraint programming (Computer science)
Many-valued logic.
Many-valued logic.
Digital electronics.
Digital electronics.
Genre/Form Electronic books.
Other Form: Print version: Azevedo, Francisco. Constraint solving over multi-valued logics. Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003 1586033042 4274905551 (OCoLC)51911916
ISBN 058545860X (electronic book)
9780585458601 (electronic book)
9781586033040 (IOS Press)
1586033042 (IOS Press)
9784274905551 (Ohmsha)
4274905551 (Ohmsha)
9781601294128 (electronic book)
1601294123 (electronic book)

Library Links

Example

Search Tools