Author of the publication

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.

 

Other publications of authors with the same name

Mathematik für Informatik und BioInformatik., , and . Springer, (2004)On the Walk., , and . Theor. Comput. Sci., 187 (1-2): 179-202 (1997)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)An Improved Constraint Ordering Heuristics for Compiling Configuration Problems., , and . Configuration Workshop, volume 958 of CEUR Workshop Proceedings, page 36-40. CEUR-WS.org, (2012)Adapting Binary Decision Diagrams for Visualizing Product Configuration Data., and . GI-Jahrestagung, volume P-275 of LNI, page 1499-1509. GI, (2017)