Author of the publication

Generation of Test Patterns for Differential Diagnosis of Digital Circuits.

, and . CP, volume 1520 of Lecture Notes in Computer Science, page 462. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

View-based propagation of decomposable constraints., and . Constraints An Int. J., 18 (4): 579-608 (2013)Integration of the Causal and Functional Approaches for Robust Medical Diagnosis., and . MIE, volume 45 of Lecture Notes in Medical Informatics, page 452-456. Springer, (1991)Using Indexed Finite Set Variables for Set Bounds Propagation., , , and . IBERAMIA, volume 5290 of Lecture Notes in Computer Science, page 73-82. Springer, (2008)Propagating N-Ary Rigid-Body Constraints., and . CP, volume 2833 of Lecture Notes in Computer Science, page 452-465. Springer, (2003)Reasoning with Uncertainty in Continuous Domains., , and . IUM, volume 68 of Advances in Intelligent and Soft Computing, page 357-369. Springer, (2010)Defeasible Constraint Solving over the Booleans.. IBERAMIA, volume 1484 of Lecture Notes in Computer Science, page 397-408. Springer, (1998)Probabilistic constraints for reliability problems., , and . SAC, page 2055-2060. ACM, (2010)Handling Differential Equations with Constraints for Decision Support., and . FroCoS, volume 1794 of Lecture Notes in Computer Science, page 105-120. Springer, (2000)Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic., and . ECAI, page 73-77. IOS Press, (2000)An Incremental Hierarchical Constraint Solver., , and . PPCP, page 190-199. (1993)