OHB System AG


Industry / private company

Location:
Bremen, Germany


Publications in cooperation with FAU scientists


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.

Last updated on 2019-04-04 at 10:58