Wolfgang Küchlin

Available identifiers

zbMath Open kuchlin.wolfgang-wMaRDI QIDQ1389630

List of research outcomes

Publication	Date of Publication	Type
Computing ground reducibility and inductively complete positions	2022-12-09	Paper
Logic and Verification of Product Configuration in the Automotive Industry	2022-06-17	Paper
Optimal Coverage in Automotive Configuration	2016-05-25	Paper
Boolean Gröbner bases in SAT solving	2015-02-20	Paper
New approaches to Boolean quantifier elimination	2015-02-20	Paper
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases	2010-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q3156409	2005-01-07	Paper
Einführung in die Informatik	2004-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4829590	2004-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q3045808	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737457	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4439734	2003-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4434244	2003-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q2773796	2002-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q2772573	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
https://portal.mardi4nfdi.de/entity/Q4234323	2001-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4524775	2001-07-03	Paper
Proving consistency assertions for automotive product data management	2001-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2701998	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q2702030	2001-03-12	Paper
Introduction to computer science. Object-oriented using Java	2000-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4237424	1999-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4227329	1999-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4225055	1999-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4955398	1999-01-01	Paper
On the walk	1998-06-30	Paper
Strategy compliant multi-threaded term completion	1997-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4038756	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3993260	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3975195	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3702510	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325075	1982-01-01	Paper

Research outcomes over time

This page was built for person: Wolfgang Küchlin