SMTQuery: Analysing SMT-LIB String Benchmarks. - Mitja Kulczynski; Kevin Lotz; Florin Manea; Danny Bøgsted Poulsen; Paul Sarnighausen-Cahn (SBMF, 2024)

Longest Common Subsequence with Gap Constraints. - Duncan Adamson; Paul Sarnighausen-Cahn; Marius Dumitran; Maria Kosche; Tore Koß; Florin Manea; Stefan Siemer (Theory Comput. Syst., 2025)

Novel tree-search method for synthesizing SMT strategies. - Zhengyang John Lu; Joel D. Day; Piyush Jha; Paul Sarnighausen-Cahn; Stefan Siemer; Florin Manea; Vijay Ganesh 001 (Acta Informatica, 2025)