DoSSIER at TREC 2023 Clinical Trials Track. - Wojciech Kusa; Patrick Styll; Maximilian Seeliger; Óscar E. Mendoza; Allan Hanbury (TREC, 2023)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Harshit J. Motwani; Maximilian Seeliger; Dorde Zikelic (AAAI, 2025)