( en | de | ru )

 

Disambiguation of "Siemer, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

, , , , , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Siemer

Stefan Hermann Siemer

Stefan Werner Siemer

Bernhard Siemer

Kurt Siemer

 

Other publications of authors with the same name

Quo vadis Robotische Medizin in der Urologie in Deutschland?, and . CURAC, volume 1476 of CEUR Workshop Proceedings, page 27-30. Verlag Univ Magdeburg, (2011)Matching Patterns with Variables Under Edit Distance., , and . SPIRE, volume 13617 of Lecture Notes in Computer Science, page 275-289. Springer, (2022)Efficiently Testing Simon's Congruence., , , , and . CoRR, (2020)Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis., , , , , and . CoRR, (2024)Absent Subsequences in Words., , , and . RP, volume 13035 of Lecture Notes in Computer Science, page 115-131. Springer, (2021)The Edit Distance to k-Subsequence Universality., , , , and . CoRR, (2020)Efficiently Testing Simon's Congruence., , , , and . STACS, volume 187 of LIPIcs, page 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Matching Patterns with Variables Under Simon's Congruence., , , , , , and . RP, volume 14235 of Lecture Notes in Computer Science, page 155-170. Springer, (2023)Absent Subsequences in Words., , , and . Fundam. Informaticae, 189 (3-4): 199-240 (2022)Combinatorial Algorithms for Subsequence Matching: A Survey., , , and . NCMA, volume 367 of EPTCS, page 11-27. (2022)