Mateusz Rychlicki

According to our database, Mateusz Rychlicki authored at least 8 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Covering and Partitioning of Split, Chain and Cographs with Isometric Paths.

Dibyayan Chakraborty, Haiko Müller, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Explaining Decisions in ML Models: A Parameterized Complexity Analysis.

Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Solving Quantified Boolean Formulas with Few Existential Variables.

Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

A Tight Subexponential-Time Algorithm for Two-Page Book Embedding.

Robert Ganian, Haiko Müller, Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

A General Theoretical Framework for Learning Smallest Interpretable Models.

Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Dynamic Data Structures for Parameterized String Problems.

Jedrzej Olkowski, Michal Pilipczuk, Mateusz Rychlicki, Karol Wegrzycki, Anna Zych-Pawlewicz

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

Poster Abstract: A Toolchain for Accelerated Symbolic Control.

Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.

Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani

Proceedings of the Computer Aided Verification - 35th International Conference, 2023