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
Twitter
Biography

News

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),  Z3 (SMT), and clingo (ASP).  Paper published at SAT 2025.
Agentic Python Coder, version 1.0.0 released [GitHub] [paper]
Invited speaker at SC2 2025. Workshop affiliated with CADE 2025, 10th International Workshop on Satisfiability Checking and Symbolic