{"date_created":"2018-06-25T09:06:39Z","citation":{"apa":"Stein, B., Niggemann, O., &#38; Lettmann, T. (2006). Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In <i>AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications</i> (pp. 273--278).","ama":"Stein B, Niggemann O, Lettmann T. Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In: <i>AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications</i>. ; 2006:273--278.","mla":"Stein, Benno, et al. “Speeding Up Model-Based Diagnosis by a Heuristic Approach to Solving SAT.” <i>AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications</i>, 2006, pp. 273--278.","ieee":"B. Stein, O. Niggemann, and T. Lettmann, “Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT,” in <i>AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications</i>, 2006, pp. 273--278.","chicago":"Stein, Benno, Oliver Niggemann, and Theodor Lettmann. “Speeding Up Model-Based Diagnosis by a Heuristic Approach to Solving SAT.” In <i>AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications</i>, 273--278, 2006.","short":"B. Stein, O. Niggemann, T. Lettmann, in: AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications, 2006, pp. 273--278.","bibtex":"@inproceedings{Stein_Niggemann_Lettmann_2006, title={Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT}, booktitle={AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications}, author={Stein, Benno and Niggemann, Oliver and Lettmann, Theodor}, year={2006}, pages={273--278} }"},"user_id":"315","title":"Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT","_id":"3327","author":[{"first_name":"Benno","full_name":"Stein, Benno","last_name":"Stein"},{"last_name":"Niggemann","full_name":"Niggemann, Oliver","first_name":"Oliver"},{"full_name":"Lettmann, Theodor","id":"315","last_name":"Lettmann","first_name":"Theodor","orcid":"0000-0001-5859-2457"}],"year":"2006","status":"public","publication":"AIA '06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications","type":"conference","date_updated":"2022-01-06T06:59:10Z","page":"273--278","language":[{"iso":"eng"}]}