Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
16 Publications
2006 | Conference Paper | LibreCat-ID: 3327
Stein, B., Niggemann, O., & Lettmann, T. (2006). Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications (pp. 273--278).
LibreCat
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning, H., & Lettmann, T. (1999). Resolution remains hard under equivalence. Discrete Applied Mathematics, 139–148. https://doi.org/10.1016/s0166-218x(99)00055-4
LibreCat
| DOI
1999 | Book | LibreCat-ID: 3339
Lettmann, T., & Kleine Büning, H. (1999). Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press.
LibreCat
1996 | Book Chapter | LibreCat-ID: 19816
Kleine Büning, H., & Lettmann, T. (1996). Learning a representation for optimizable formulas. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-61863-5_33
LibreCat
| DOI
1994 | Book | LibreCat-ID: 3333
Kleine Büning, H., & Lettmann, T. (1994). Aussagenlogik - Deduktion und Algorithmen. Teubner. https://doi.org/10.1007/978-3-322-84809-3
LibreCat
| DOI