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 und Theodor Lettmann,
Feb 2006
Literatur Beschaffung:
In Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA 06)
Bibtex: Download Bibtex
@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 | = | {}, |