Picture for Mateusz Rychlicki

Mateusz Rychlicki

Explaining Decisions in ML Models: a Parameterized Complexity Analysis

Add code
Jul 22, 2024
Viaarxiv icon

Solving Quantified Boolean Formulas with Few Existential Variables

Add code
May 10, 2024
Viaarxiv icon