Publications

2022

  1. A Maximum Satisfiability Based Approach to Bi-Objective Boolean Optimization
    Jabs, Christoph
    M. Sc. thesis, University of Helsinki, 2022
  2. MaxSAT-Based Bi-Objective Boolean Optimization
    In 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), Haifa, Israel, August 2–5, 2022, vol. 236, pp. 12:1–12:23, 2022

2020

  1. A Recurrent Neural Net Approach to Activity Recognition
    Jabs, Christoph
    B. Eng. thesis, Reutlingen University, 2020