Constraint Solving Over Multi-Valued Logics

Constraint Solving Over Multi-Valued Logics : Application to Digital Circuits

By (author) 

List price: US$65.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

Systems are subject to faults in their components, affecting their overall behaviour. In a "black-box" system, such faults only become apparent in the output when appropriate inputs are given, which poses a number of satisfaction and optimization problems regarding both testing and diagnosing. 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, thus allowing the modelling of an arbitrary number of diagnostic theories. The effectiveness of constraint solving over finite domains and sets is shown on several problems.show more

Product details

  • Paperback | 224 pages
  • 160 x 236.2 x 15.2mm | 453.6g
  • IOS Press
  • IOS Press,US
  • Amsterdam, United States
  • English
  • 1586033042
  • 9781586033040