Stefan Szeider

Professor
Head of the Algorithms and Complexity Group
Faculty of Informatics
Technische Universität Wien (TU Wien)
Favoritenstraße 9–11, E192-01
1040 Vienna, Austria
Room HC0401
Phone: +43(1)58801–192100
sz@ac.tuwien.ac.at
AI-readable profile
Biography

News

MCP-DBLP: An MCP server that provides Large Language Models access to the DBLP computer science bibliography database. Paper accepted to AI4SC @ AAAI 2026. Sofware on PiPy.
SAT 2026 PC co-chair: website is online
New paper on arxiv: What Do LLM Agents Do When Left Alone?
MCP Solver, version 3.4 released. A Model Context Protocol (MCP) server that exposes SAT, SMT, and constraint-solving capabilities to Large Language Models. Supports MiniZinc (CP), PySAT (SAT, MaxSAT),