Efficiently testing Simon's congruence P Gawrychowski, M Kosche, T Koß, F Manea, S Siemer arXiv preprint arXiv:2005.01112, 2020 | 29 | 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 | | |