Publikationen

Stein, Benno; Niggemann, Oliver; Lettmann, Theodor: Speeding up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA 06), Innsbruck, Austria, Anaheim, Calgary, Zurich, February 2006. , Feb 2006.

Bibtex:

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

Download: Bibtex.txt