Stefan Szeider
- A Time Leap Challenge for SAT Solving
2020/08/05 by Johannes K. Fichte, Fichte, Johannes K., Markus Hecher +3 · 3 voices
#cs.AI #cs.AR #cs.DS
- Backdoors to Normality for Disjunctive Logic Programs
2013/01/08 by Johannes K. Fichte, Fichte, Johannes Klaus, Stefan Szeider +1 · 4 citations
Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Logic, programming, and type systems
- Parameterized Algorithms for the Matrix Completion Problem
2018/04/10 by Robert Ganian, Iyad Kanj, Ganian, Robert +5 · 2 citations
Engineering · Computer Science · #graph theory and CDMA systems #Advanced Graph Theory Research #semigroups and automata theory
- The Parameterized Complexity of Reasoning Problems Beyond NP
2013/12/05 by Ronald de Haan, Stefan Szeider, de Haan, Ronald +1 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Constraint Satisfaction and Optimization
- A SAT Approach to Twin-Width
2021/10/12 by André Schidler, Schidler, André, Stefan Szeider +1 · 1 citation
Computer Science · #Combinatorics (math.CO) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #VLSI and Analog Circuit Testing #semigroups and automata theory
- MCP-Solver: Integrating Language Models with Constraint Programming Systems
2024/12/31 by Stefan Szeider, Szeider, Stefan · 2 citations
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #Computation and Language (cs.CL) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)
- LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean
2026/07/30 by Pablo Manrique, Stefan Szeider
Computer Science · #cs.AI #cs.LO