The SAT problem is one of the most prominent problems of computer science - both in theory and in practice. Combinatorial problems of considerable dimensions - as they occur, e.g., in hard- and software verification, planning, or configuration - are handled successfully by today's SAT solvers.

Our work concentrates on developing parallel and distributed SAT solvers, e.g. for the computational grid, and on visualizing the internal structure of real-world SAT problem instances.

Magnetic resonance (MR) computer tomographs can be ordered in many variants and with different optional equipment. SIEMENS Medical Solutions uses modular on-line handbooks that are configured individually for each delivered system. Our add-on tool HCT (Help-Checker-Tool) checks correctness and completeness of such individually configured handbooks.

Web portals enable sharing, execution and monitoring of scientific workflows, but usually depend on external development systems, with notations, which strive to support general workflows, but are still too complex for every-day use by biologists. The distinction between web-based and non-web based tools is likely to further irritate users. We extend our work on collaborative workflow design, by introducing a web-based scientific workflow system, that enables easy-to- use semantic service composition with a domain specific workflow notation.

For demo versions click here!