May 2023, PhD thesis, Institute of Logic and Computation, TU Wien.
Note: supervised by G.~R.~Raidl
pages 1941-1949, 2023, ACM Press.
Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020), volume 180 of Procedia Computer Science, pages 517-524, 2021.
17th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'21) (Peter J. Stuckey), volume 12735 of LNCS, pages 283-298, 2021, Springer.
Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020), volume 180 of Procedia Computer Science, pages 366-370, 2021.