P
PaperPicks
Conferences
Researchers
Sponsors ♥
Maximilian Seeliger
2 papers at tracked venues · 1 at CORE A* · active 2025–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
ECML-PKDD
×1
Frequent coauthors
Fabian Jogl
×1
Thomas Gärtner
×1
Krishnendu Chatterjee
×1
Ehsan Kafshdar Goharshady
×1
Mehrdad Karrabi
×1
Harshit J. Motwani
×1
Dorde Zikelic
×1
Papers
Graph Product Representations
BibTeX ⧉
ECML-PKDD 2025
·
Maximilian Seeliger
,
Fabian Jogl
,
Thomas Gärtner
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
BibTeX ⧉
AAAI 2025
·
Krishnendu Chatterjee
,
Ehsan Kafshdar Goharshady
,
Mehrdad Karrabi
,
Harshit J. Motwani
,
Maximilian Seeliger
,
Dorde Zikelic