Siemer, Stefan

1. Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
   2024/01/30 by Zhengyang Lu, Stefan Siemer, Lu, Zhengyang +9 · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
2. The Edit Distance to k-Subsequence Universality
   2020/07/17 by Fleischmann, Pamela, Kosche, Maria, Koß, Tore +2 · 1 citation
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
3. Matching Patterns with Variables Under Simon's Congruence
   2023/08/16 by Pamela Fleischmann, Fleischmann, Pamela, Sung-Min Kim +11 · 1 citation
   Computer Science · #semigroups and automata theory #Data Mining Algorithms and Applications #Advanced Database Systems and Queries