E-LIB Suche - Ergebnisse für: Küchlin, Wolfgang W.

1

Proceedings of the 1997 international symposium on Symbolic..:

Char, Bruce ; Wang, Paul S. ; Küchlin, Wolfgang W. , 1997

Link: https://dl.acm.org/doi/1..

2

Contributors:

, In: Pituitary Tumors,

Albani, Adriana ; Albano, Luigi ; Albonette-Felicio, Thiago... - p. xiii-xvi , 2021

Link: https://doi.org/10.1016/..

3

POSEIDON: A Graphical Editor for Item Selection Rules Withi..:

, In: Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies; IFIP Advances in Information and Communication Technology,

Bischoff, Daniel ; Küchlin, Wolfgang ; Kopp, Oliver - p. 3-14 , 2023

Link: https://doi.org/10.1007/..

4

Symbolische KI für die Produktkonfiguration in der Automobi..:

, In: Springer Reference Geisteswissenschaften; Philosophisches Handbuch Künstliche Intelligenz,

Küchlin, Wolfgang - p. 1-15 , 2020

Link: https://doi.org/10.1007/..

5

Logische Grundlagen der klassischen KI:

, In: Springer Reference Geisteswissenschaften; Philosophisches Handbuch Künstliche Intelligenz,

Mainzer, Klaus ; Küchlin, Wolfgang - p. 1-17 , 2020

Link: https://doi.org/10.1007/..

6

Constraint-based and SAT-based diagnosis of automotive conf..:

Walter, Rouven ; Felfernig, Alexander ; Küchlin, Wolfgang
Journal of Intelligent Information Systems. 49 (2016) 1 - p. 87-118 , 2016

Link: https://doi.org/10.1007/..

7

Boolean Gröbner bases in SAT solving:

Zengler, Christoph ; Küchlin, Wolfgang
ACM Communications in Computer Algebra. 45 (2011) 1/2 - p. 141-142 , 2011

Link: https://dl.acm.org/doi/1..

8

Boolean Gröbner bases in SAT solving:

Zengler, Christoph ; Küchlin, Wolfgang
ACM Communications in Computer Algebra. 45 (2011) 1/2 - p. 141-142 , 2011

Link: https://doi.org/10.1145/..

9

New approaches to boolean quantifier elimination:

Zengler, Christoph ; Kübler, Andreas ; Küchlin, Wolfgang
ACM Communications in Computer Algebra. 45 (2011) 1/2 - p. 139-140 , 2011

Link: https://doi.org/10.1145/..

10

New approaches to boolean quantifier elimination:

Zengler, Christoph ; Kübler, Andreas ; Küchlin, Wolfgang
ACM Communications in Computer Algebra. 45 (2011) 1/2 - p. 139-140 , 2011

Link: https://dl.acm.org/doi/1..

11

Towards automatic software model checking of thousands of L..:

Post, Hendrik ; Sinz, Carsten ; Küchlin, Wolfgang
Software Testing, Verification and Reliability. 19 (2008) 2 - p. 155-172 , 2008

Link: https://doi.org/10.1002/..

12

Checking Consistency and Completeness of On-Line Product Ma..:

Sinz, Carsten ; Küchlin, Wolfgang ; Feichtinger, Dieter.
Journal of Automated Reasoning. 37 (2006) 1-2 - p. 45-66 , 2006

Link: https://doi.org/10.1007/..

13

Automatic data environment construction for static device d..:

, In: Proceedings of the 2006 conference on Specification and verification of component-based systems,

Post, Hendrik ; Küchlin, Wolfgang - p. 89-92 , 2006

Link: https://dl.acm.org/doi/1..

14

Formal methods for the validation of automotive product con..:

SINZ, CARSTEN ; KAISER, ANDREAS ; KÜCHLIN, WOLFGANG
Artificial Intelligence for Engineering Design, Analysis and Manufacturing. 17 (2003) 1 - p. 75-97 , 2003

Link: https://doi.org/10.1017/..

15

Parallel propositional satisfiability checking with distrib..:

Blochinger, Wolfgang ; Sinz, Carsten ; Küchlin, Wolfgang
Parallel Computing. 29 (2003) 7 - p. 969-994 , 2003

Link: https://doi.org/10.1016/..