Publikationen_1920x250_Detail
In: In Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA 06)

Speeding up Model-based Diagnosis by a Heuristic Approach to Solving SAT.

Benno Stein , Oliver Niggemann and Theodor Lettmann,
Feb 2006
Literature procurement: In Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA 06)
@inproceedings{2280,
author= {Stein, Benno and Niggemann, Oliver and Lettmann, Theodor},
title= {Speeding up Model-based Diagnosis by a Heuristic Approach to Solving SAT.},
booktitle= {In Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA 06)},
year= {2006},
editor= {},
volume= {},
series= {},
pages= {},
address= {Innsbruck, Austria, Anaheim, Calgary, Zurich},
month= {Feb},
organisation= {},
publisher= {},
note= {},
}