Fault Diagnosis using Quantified Boolean Formulas

Hratch Mangassarian (1) , Andreas Veneris (2, 3) , Marco Benedetti (4)

1 ECE - Department of Electrical and Computer Engineering [Waterloo]
2 ECE - Department of Electrical and Computer Engineering [University of Toronto]
3 Dept. of Computer Science
4 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

Domaines: Autre [cs.OH]

Hratch Mangassarian, Andreas Veneris, Marco Benedetti. Fault Diagnosis using Quantified Boolean Formulas. Proc. of the 4th IEEE International Workshop on Silicon Debug and Diagnosis - SDD07, 2007, Freiburg, Germany. pp._. ⟨hal-00466755⟩