Efficiently testing Simon's congruence P Gawrychowski, M Kosche, T Koß, F Manea, S Siemer
arXiv preprint arXiv:2005.01112, 2020
30 2020 The edit distance to k-subsequence universality JD Day, P Fleischmann, M Kosche, T Koß, F Manea, S Siemer
38th International Symposium on Theoretical Aspects of Computer Science …, 2021
21 2021 Absent subsequences in words M Kosche, T Koß, F Manea, S Siemer
International Conference on Reachability Problems, 115-131, 2021
17 2021 Combinatorial algorithms for subsequence matching: A survey M Kosche, T Koß, F Manea, S Siemer
arXiv preprint arXiv:2208.14722, 2022
11 2022 Longest common subsequence with gap constraints D Adamson, M Kosche, T Koß, F Manea, S Siemer
International Conference on Combinatorics on Words, 60-76, 2023
7 2023 Matching patterns with variables under simon’s congruence P Fleischmann, S Kim, T Koß, F Manea, D Nowotka, S Siemer, ...
International Conference on Reachability Problems, 155-170, 2023
5 2023 Matching patterns with variables under hamming distance P Gawrychowski, F Manea, S Siemer
arXiv preprint arXiv:2106.06249, 2021
5 2021 Matching patterns with variables under edit distance P Gawrychowski, F Manea, S Siemer
International Symposium on String Processing and Information Retrieval, 275-289, 2022
4 2022 Absent Subsequences in Words M Kosche, T Koß, F Manea, S Siemer
Fundamenta Informaticae 189 (3-4), 199-240, 2022
1 2022 Matching Patterns with Variables in Approximate Settings S Siemer
2024 Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis Z Lu, S Siemer, P Jha, J Day, F Manea, V Ganesh
arXiv preprint arXiv:2401.17159, 2024
2024 The Edit Distance to -Subsequence Universality P Fleischmann, M Kosche, T Koß, F Manea, S Siemer
arXiv preprint arXiv:2007.09192, 2020
2020 Z3-alpha: A Reinforcement Learning Guided SMT Solver Z Lu, S Siemer, P Jha, F Manea, J Day, V Ganesh