2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.AI2024
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
Zhengyang Lu, Stefan Siemer, Piyush Jha +3
Modern SMT solvers, such as Z3, offer user-controllable strategies, enabling users to tailor solving strategies for their unique set of instances, thus dramatically enhancing solve…
cs.FL2023★ 1 cited
Matching Patterns with Variables Under Simon's Congruence
Pamela Fleischmann, Sungmin Kim, Tore Koß +4
We introduce and investigate a series of matching problems for patterns with variables under Simon's congruence. Our results provide a thorough picture of these problems' computati…
cs.DS2022★ 2 cited
Matching Patterns with Variables Under Edit Distance
Paweł Gawrychowski, Florin Manea, Stefan Siemer
A pattern is a string of variables and terminal letters. We say that matches a word , consisting only of terminal letters, if can be obtained by replacing the variab…