People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Coe
Balancing Latin Rectangles with LLM-Generated Streamliners
Florentina Voboril
PDF
Cite
Project
Project
DOI
Breaking Symmetries in Quantified Graph Search: A Comparative Study
Markus Kirchweger
PDF
Cite
Project
Project
DOI
Bridging Language Models and Symbolic Solvers via the Model Context Protocol
Stefan Szeider
PDF
Cite
Project
Project
DOI
Extracting Problem Structure with LLMs for Optimized SAT Local Search
André Schidler
,
Stefan Szeider
PDF
Cite
Project
Project
Generating Streamlining Constraints with Large Language Models
Florentina Voboril
,
Vaidyanathan Peruvemba Ramaswamy
,
Stefan Szeider
Cite
Project
Project
Project
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
Thomas Depian
,
Simon Dominik Fink
,
Robert Ganian
,
Vaishali Surianarayanan
PDF
Cite
Project
Project
Project
DOI
SAT Modulo Symmetries: A Survey
Stefan Szeider
PDF
Cite
Project
Project
StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
Florentina Voboril
,
Peruvemba Ramaswamy, Vaidyanathan
,
Stefan Szeider
PDF
Cite
Project
Project
Project
DOI
Structural Parameterizations of Simultaneous Planarity
Thomas Depian
,
Simon Dominik Fink
,
Alexander Firbas
,
Robert Ganian
,
Matthias Pfretzschner
,
Ignaz Rutter
Cite
Project
Project
Project
Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach
Stefan Szeider
PDF
Cite
Project
Project
DOI
«
»
Cite
×