| Publication | Date of Publication | Type |
|---|
Computing ground reducibility and inductively complete positions
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Logic and Verification of Product Configuration in the Automotive Industry
Proof and Computation II | 2022-06-17 | Paper |
Optimal Coverage in Automotive Configuration
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Boolean Gröbner bases in SAT solving
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
New approaches to Boolean quantifier elimination
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases
Computer Algebra in Scientific Computing | 2010-09-10 | Paper |
| scientific article; zbMATH DE number 2125587 (Why is no real title available?) | 2005-01-07 | Paper |
Einführung in die Informatik
eXamen.press | 2004-12-15 | Paper |
| scientific article; zbMATH DE number 2120298 (Why is no real title available?) | 2004-11-29 | Paper |
| scientific article; zbMATH DE number 2088896 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086860 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2017866 (Why is no real title available?) | 2003-12-15 | Paper |
| scientific article; zbMATH DE number 2001208 (Why is no real title available?) | 2003-11-05 | Paper |
| scientific article; zbMATH DE number 1712384 (Why is no real title available?) | 2002-03-12 | Paper |
| scientific article; zbMATH DE number 1708113 (Why is no real title available?) | 2002-02-19 | Paper |
| Proving consistency assertions for automotive product data management | 2001-10-21 | Paper |
| PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications | 2001-09-24 | Paper |
| scientific article; zbMATH DE number 1263425 (Why is no real title available?) | 2001-07-16 | Paper |
| scientific article; zbMATH DE number 1552516 (Why is no real title available?) | 2001-07-03 | Paper |
Proving consistency assertions for automotive product data management
Journal of Automated Reasoning | 2001-05-01 | Paper |
| scientific article; zbMATH DE number 1574472 (Why is no real title available?) | 2001-03-12 | Paper |
| scientific article; zbMATH DE number 1574495 (Why is no real title available?) | 2001-03-12 | Paper |
Introduction to computer science. Object-oriented using Java
Springer-Lehrbuch | 2000-08-20 | Paper |
| scientific article; zbMATH DE number 1273687 (Why is no real title available?) | 1999-08-11 | Paper |
| scientific article; zbMATH DE number 1254280 (Why is no real title available?) | 1999-06-29 | Paper |
| scientific article; zbMATH DE number 1241620 (Why is no real title available?) | 1999-06-22 | Paper |
| scientific article; zbMATH DE number 1453117 (Why is no real title available?) | 1999-01-01 | Paper |
On the walk
Theoretical Computer Science | 1998-06-30 | Paper |
Strategy compliant multi-threaded term completion
Journal of Symbolic Computation | 1997-01-22 | Paper |
| scientific article; zbMATH DE number 177874 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 44069 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 17851 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 3928346 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3856444 (Why is no real title available?) | 1982-01-01 | Paper |
