Rychlicki, Mateusz

2 publications

AAAI 2024 A General Theoretical Framework for Learning Smallest Interpretable Models Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider

IJCAI 2024 Solving Quantified Boolean Formulas with Few Existential Variables Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, George Osipov, Fahad Panolan, Mateusz Rychlicki