Av

A. van Gemund

2 records found

Authored

All Roads Lead to Fault Diagnosis: Model-Based Reasoning with textscLydia
Conference paper (2006) - A.B. Feldman, J Pietersma, A. van Gemund

A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis
Conference paper (2006) - A.B. Feldman, J Pietersma, A. van Gemund