Concepedia

Wolfgang Küchlin

WK

25

Publications

700

Citations

14

H-Index

1982

Active since

Affiliations

University of Tübingen(Current)

Bernstein Center for Computational Neuroscience Tübingen

Reutlingen University

The Ohio State University

Wolfgang Küchlin is an author at University of Tübingen specializing in computer science, engineering, and computer engineering.

Top concepts

Publications per year

1982–2016

25

Publications

25

Formal methods for the validation of automotive product configuration data

Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin · Artificial intelligence for engineering design analysis and manufacturing · 2003 · 141 citations

, , +26

Proving Consistency Assertions for Automotive Product Data Management

Wolfgang Küchlin, Carsten Sinz · Journal of Automated Reasoning · 2000 · 79 citations

PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications

Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin · Electronic Notes in Discrete Mathematics · 2001 · 67 citations

, , +12

Parallel propositional satisfiability checking with distributed dynamic learning

Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin · Parallel Computing · 2003 · 61 citations

, , +7

The Virtual Automation Lab-Web based teaching of automation engineering concepts

D. Buhler, Wolfgang Küchlin, G. Grubler et al. · 2002 · 35 citations

, , +22

Rows per page

1–5 of 25