Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

© DFKI

Cyber-Physical Systems

Publications

Page 1 of 1.

Kenneth Schmitz; Oliver Keszöcze; Jil Meywerk; Rolf Drechsler
ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
In: 13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany, …

1

Links

Highlights

Safe & Secure Systems

Management

Prof. Dr. Rolf Drechsler

Deputy Head:
Prof. Dr. Christoph Lüth
Prof. Dr. Dieter Hutter

Contact

Assistant to the management:
Kristiane Schmitt, M.A.
Phone: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen