Seguir
Wolfgang Kuechlin
Wolfgang Kuechlin
Professor für Informatik (Symbolisches Rechnen), Uni Tübingen
Email confirmado em uni-tuebingen.de
Título
Citado por
Citado por
Ano
Formal methods for the validation of automotive product configuration data
C Sinz, A Kaiser, W Küchlin
Ai Edam 17 (1), 75-97, 2003
1812003
PaSAT—Parallel SAT-checking with lemma exchange: Implementation and applications
C Sinz, W Blochinger, W Küchlin
Electronic Notes in Discrete Mathematics 9, 205-216, 2001
1072001
Parallel propositional satisfiability checking with distributed dynamic learning
W Blochinger, C Sinz, W Küchlin
Parallel Computing 29 (7), 969-994, 2003
922003
Proving consistency assertions for automotive product data management
W Küchlin, C Sinz
Journal of Automated Reasoning 24 (1), 145-163, 2000
852000
Integrated static analysis for Linux device driver verification
H Post, W Küchlin
International conference on integrated formal methods, 518-537, 2007
822007
Inductive completion by ground proof transformation
W Küchlin
Rewriting Techniques, 211-244, 1989
711989
PARSAC-2: A parallel SAC-2 based on threads
W Küchlin
International Symposium on Applied Algebra, Algebraic Algorithms, and Error …, 1990
571990
A case study of multi-threaded Gröbner basis completion
B Amrhein, O Gloor, W Küchlin
Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996
561996
The Virtual Automation Lab-Web based teaching of automation engineering concepts
D Buhler, W Kuchlin, G Grubler, G Nusser
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
512000
Mathematik für Informatik und Bioinformatik
M Wolff, P Hauck, W Küchlin
Springer-Verlag, 2006
442006
On the walk
B Amrhein, O Gloor, W Küchlin
Theoretical Computer Science 187 (1-2), 179-202, 1997
401997
Model counting in product configuration
A Kübler, C Zengler, W Küchlin
arXiv preprint arXiv:1007.1024, 2010
372010
A confluence criterion based on the generalised Newman lemma
W Küchlin
European Conference on Computer Algebra, 390-399, 1985
361985
Einführung in die Informatik: objektorientiert mit Java
W Küchlin, A Weber
Springer-Verlag, 2006
352006
The S-threads environment for parallel symbolic computation
W Küchlin
International Workshop on Computer Algebra and Parallelism, 1-18, 1990
351990
An object-oriented platform for distributed high-performance symbolic computation
W Blochinger, W Küchlin, C Ludwig, A Weber
Mathematics and Computers in Simulation 49 (3), 161-178, 1999
341999
Applications of MaxSAT in Automotive Configuration.
R Walter, C Zengler, W Küchlin
Configuration Workshop 1 (2), 21, 2013
322013
Encoding the Linux kernel configuration in propositional logic
C Zengler, W Küchlin
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI …, 2010
322010
Distributed symbolic computation with DTS
T Bubeck, M Hiller, W Küchlin, W Rosenstiel
Parallel Algorithms for Irregularly Structured Problems: Second …, 1995
291995
ZetaSAT-Boolean satisfiability solving on desktop grids
W Blochinger, W Westje, W Kuchlin, S Wedeniwski
CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid …, 2005
282005
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20