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
New approaches to boolean quantifier elimination	2015-02-20	Paper
Boolean Gröbner bases in SAT solving	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
https://portal.mardi4nfdi.de/entity/Q2749865	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2741526	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wolfgang Küchlin