OHB System AG


Industrie / privates Unternehmen

Standort der Organisation:
Bremen, Deutschland


Publikationen in Kooperation mit FAU-Wissenschaftlerinnen und Wissenschaftlern


Keszöcze, O., Schmitz, K., Schloeter, J., & Drechsler, R. (2019). Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning. In Rolf Drechsler, Mathias Soeken (Eds.), Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems. Springer International Publishing.
Krieger, G., Moreira, A., Zink, M., Hajnsek, I., Huber, S., Villano, M.,... Bewick, C. (2016). Tandem-L: Main Results of the Phase A Feasibility Study. In IEEE International Geoscience and Remote Sensing Symposium (IGARSS) (pp. 1-4). IEEE.

Zuletzt aktualisiert 2019-04-04 um 10:58