A. van Gemund | TU Delft Repository

Library

local_library Home Repository

Av

A. van Gemund

Conference paper (2)

2 records found

1

A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis

Conference paper (2006) - AB Feldman (author) , J Pietersma (author) , A. van Gemund (author)

All Roads Lead to Fault Diagnosis: Model-Based Reasoning with textscLydia

Conference paper (2006) - AB Feldman (author) , J Pietersma (author) , A. van Gemund (author)