Mateusz Rychlicki

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Monte Carlo Tree Search

Symbolic Description

Complexity Analysis

Boolean Formula

Top Venues

Publications

Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
Explaining Decisions in ML Models: a Parameterized Complexity Analysis. CoRR (2024)
Robert Ganian, Haiko Müller, Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki
A Tight Subexponential-time Algorithm for Two-Page Book Embedding. CoRR (2024)
Dibyayan Chakraborty, Haiko Müller, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
Covering and Partitioning of Split, Chain and Cographs with Isometric Paths. MFCS (2024)
Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider
A General Theoretical Framework for Learning Smallest Interpretable Models. AAAI (2024)
Robert Ganian, Haiko Müller, Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki
A Tight Subexponential-Time Algorithm for Two-Page Book Embedding. ICALP (2024)
Leif Eriksson, Victor Lagerkvist, George Osipov, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki
Solving Quantified Boolean Formulas with Few Existential Variables. CoRR (2024)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) (2023)
Jedrzej Olkowski, Michal Pilipczuk, Mateusz Rychlicki, Karol Wegrzycki, Anna Zych-Pawlewicz
Dynamic Data Structures for Parameterized String Problems. STACS (2023)
Jedrzej Olkowski, Michal Pilipczuk, Mateusz Rychlicki, Karol Wegrzycki, Anna Zych-Pawlewicz
Dynamic data structures for parameterized string problems. CoRR (2022)