PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Küchlin, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking.

, , and . FLAIRS Conference, page 645-649. AAAI Press, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Wolfgang Rheinheimer University of Stuttgart

Univ. -Prof. Dr. Wolfgang Kühnel University of Stuttgart

apl. Prof. Dr. Wolfgang Hauber University of Stuttgart

apl. Prof. Dr. Wolfgang Bolse University of Stuttgart

Wolfgang Krauth University of Stuttgart

 

Other publications of authors with the same name

On the Walk., , and . Theor. Comput. Sci., 187 (1-2): 179-202 (1997)Mathematik für Informatik und BioInformatik., , and . Springer, (2004)Parallel propositional satisfiability checking with distributed dynamic learning., , and . Parallel Computing, 29 (7): 969-994 (2003)Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract), and . SAT, (2004)Cost-efficient parallel processing of irregularly structured problems in cloud computing environments., , and . Cluster Computing, 22 (3): 887-909 (2019)Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information., , and . IICS, volume 2346 of Lecture Notes in Computer Science, page 1-14. Springer, (2002)Distributed Symbolic Computation with DTS., , , and . IRREGULAR, volume 980 of Lecture Notes in Computer Science, page 231-248. Springer, (1995)Boolean Quantifier Elimination for Automotive Configuration - A Case Study., and . FMICS, volume 8187 of Lecture Notes in Computer Science, page 48-62. Springer, (2013)Extending a Java Based Framework for Scientific Software-Components., , , and . CASC, page 207-222. Springer, (1999)A Confluence Criterion Based on the Generalised Neman Lemma.. European Conference on Computer Algebra (2), volume 204 of Lecture Notes in Computer Science, page 390-399. Springer, (1985)