Mateusz Rychlicki

16 papers A* 5A 1B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A General Theoretical Framework for Learning Smallest Interpretable Models.
Artif. Intell.
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
2026 A* conf
Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms.
AAAI
Sebastian Ordyniak, Mateusz Rychlicki, Stefan Szeider
2026 J jnl
Covering and partitioning of split, chain and cographs with isometric paths.
Theor. Comput. Sci.
Dibyayan Chakraborty, Haiko Müller, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
2025 J jnl
Explaining Decisions in ML Models: a Parameterized Complexity Analysis (Part I).
CoRR
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
2024 A* conf
A General Theoretical Framework for Learning Smallest Interpretable Models.
AAAI
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
2024 A* conf
A Tight Subexponential-Time Algorithm for Two-Page Book Embedding.
ICALP
Robert Ganian, Haiko Müller, Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki
2024 J jnl
A Tight Subexponential-time Algorithm for Two-Page Book Embedding.
CoRR
Robert Ganian, Haiko Müller, Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki
2024 B conf
Covering and Partitioning of Split, Chain and Cographs with Isometric Paths.
MFCS
Dibyayan Chakraborty, Haiko Müller, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
2024 A* conf
Explaining Decisions in ML Models: A Parameterized Complexity Analysis.
KR
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
2024 J jnl
Explaining Decisions in ML Models: a Parameterized Complexity Analysis.
CoRR
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
2024 A* conf
Solving Quantified Boolean Formulas with Few Existential Variables.
IJCAI
Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki
2024 J jnl
Solving Quantified Boolean Formulas with Few Existential Variables.
CoRR
Leif Eriksson, Victor Lagerkvist, George Osipov, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
2023 — conf
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.
CAV (3)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 A conf
Dynamic Data Structures for Parameterized String Problems.
STACS
Jedrzej Olkowski, Michal Pilipczuk, Mateusz Rychlicki, Karol Wegrzycki, Anna Zych-Pawlewicz
2023 — conf
Poster Abstract: A Toolchain for Accelerated Symbolic Control.
HSCC
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2022 J jnl
Dynamic data structures for parameterized string problems.
CoRR
Jedrzej Olkowski, Michal Pilipczuk, Mateusz Rychlicki, Karol Wegrzycki, Anna Zych-Pawlewicz