CUFinder

Wolfgang Kuechlin

Wolfgang Kuechlin

Eberhard Karls Universität Tübingen

H-index: 25

Europe-Germany

About Wolfgang Kuechlin

Wolfgang Kuechlin, With an exceptional h-index of 25 and a recent h-index of 9 (since 2020), a distinguished researcher at Eberhard Karls Universität Tübingen, specializes in the field of Formal Verification, Configuration Problems, SAT-solving, Automotive Product Documentation.

His recent articles reflect a diverse array of research interests and contributions to the field:

POSEIDON: A Graphical Editor for Item Selection Rules Within Feature Combination Rule Contexts

Logic and verification of product configuration in the automotive industry

Logische Grundlagen der klassischen KI

Symbolische KI für die Produktkonfiguration in der Automobilindustrie

An Elasticity Description Language for Task-parallel Cloud Applications.

60 Years of Boolean Satisfiability Solving

60 Years of SAT Solving

Wolfgang Kuechlin Information

University

Position

Professor für Informatik (Symbolisches Rechnen)

Citations(all)

2243

Citations(since 2020)

264

Cited By

2063

hIndex(all)

25

hIndex(since 2020)

9

i10Index(all)

67

i10Index(since 2020)

7

Email

Access Email

University Profile Page

Eberhard Karls Universität Tübingen

Google Scholar

View Google Scholar Profile

Wolfgang Kuechlin Skills & Research Interests

Formal Verification

Configuration Problems

SAT-solving

Automotive Product Documentation

Top articles of Wolfgang Kuechlin

Title

Journal

Author(s)

Publication Date

POSEIDON: A Graphical Editor for Item Selection Rules Within Feature Combination Rule Contexts

Daniel Bischoff

Wolfgang Küchlin

Oliver Kopp

2022/7/10

Logic and verification of product configuration in the automotive industry

Wolfgang Küchlin

2022

Logische Grundlagen der klassischen KI

Klaus Mainzer

Wolfgang Küchlin

2021/11/3

Symbolische KI für die Produktkonfiguration in der Automobilindustrie

Wolfgang Küchlin

2020

An Elasticity Description Language for Task-parallel Cloud Applications.

Jens Haussmann

Wolfgang Blochinger

Wolfgang Kuechlin

2020

60 Years of Boolean Satisfiability Solving

Wolfgang Küchlin

2020/2/21

60 Years of SAT Solving

Wolfgang Küchlin

2020/2/21

See List of Professors in Wolfgang Kuechlin University(Eberhard Karls Universität Tübingen)