| Formal methods for the validation of automotive product configuration data C Sinz, A Kaiser, W Küchlin Ai Edam 17 (1), 75-97, 2003 | 181 | 2003 |
| PaSAT—Parallel SAT-checking with lemma exchange: Implementation and applications C Sinz, W Blochinger, W Küchlin Electronic Notes in Discrete Mathematics 9, 205-216, 2001 | 107 | 2001 |
| Parallel propositional satisfiability checking with distributed dynamic learning W Blochinger, C Sinz, W Küchlin Parallel Computing 29 (7), 969-994, 2003 | 92 | 2003 |
| Proving consistency assertions for automotive product data management W Küchlin, C Sinz Journal of Automated Reasoning 24 (1), 145-163, 2000 | 86 | 2000 |
| Integrated static analysis for Linux device driver verification H Post, W Küchlin International conference on integrated formal methods, 518-537, 2007 | 82 | 2007 |
| Inductive completion by ground proof transformation W Küchlin Rewriting Techniques, 211-244, 1989 | 71 | 1989 |
| PARSAC-2: A parallel SAC-2 based on threads W Küchlin International Symposium on Applied Algebra, Algebraic Algorithms, and Error …, 1990 | 57 | 1990 |
| A case study of multi-threaded Gröbner basis completion B Amrhein, O Gloor, W Küchlin Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996 | 56 | 1996 |
| The Virtual Automation Lab-Web based teaching of automation engineering concepts D Buhler, W Kuchlin, G Grubler, G Nusser Proceedings Seventh IEEE International Conference and Workshop on the …, 2000 | 51 | 2000 |
| Mathematik für Informatik und Bioinformatik M Wolff, P Hauck, W Küchlin Springer-Verlag, 2006 | 44 | 2006 |
| On the walk B Amrhein, O Gloor, W Küchlin Theoretical Computer Science 187 (1-2), 179-202, 1997 | 40 | 1997 |
| Model counting in product configuration A Kübler, C Zengler, W Küchlin arXiv preprint arXiv:1007.1024, 2010 | 38 | 2010 |
| Einführung in die Informatik: objektorientiert mit Java W Küchlin, A Weber Springer-Verlag, 2006 | 36 | 2006 |
| A confluence criterion based on the generalised Newman lemma W Küchlin European Conference on Computer Algebra, 390-399, 1985 | 36 | 1985 |
| The S-threads environment for parallel symbolic computation W Küchlin International Workshop on Computer Algebra and Parallelism, 1-18, 1990 | 35 | 1990 |
| An object-oriented platform for distributed high-performance symbolic computation W Blochinger, W Küchlin, C Ludwig, A Weber Mathematics and Computers in Simulation 49 (3), 161-178, 1999 | 34 | 1999 |
| Applications of MaxSAT in Automotive Configuration. R Walter, C Zengler, W Küchlin Configuration Workshop 1 (2), 21, 2013 | 32 | 2013 |
| Encoding the Linux kernel configuration in propositional logic C Zengler, W Küchlin Proceedings of the 19th European Conference on Artificial Intelligence (ECAI …, 2010 | 32 | 2010 |
| Distributed symbolic computation with DTS T Bubeck, M Hiller, W Küchlin, W Rosenstiel Parallel Algorithms for Irregularly Structured Problems: Second …, 1995 | 29 | 1995 |
| ZetaSAT-Boolean satisfiability solving on desktop grids W Blochinger, W Westje, W Kuchlin, S Wedeniwski CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid …, 2005 | 28 | 2005 |
