OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Mateusz Rychlicki
Joined
January 2025
Names
Mateusz Rychlicki
(Preferred)
Emails
****@leeds.ac.uk
(Confirmed)
Personal Links
Google Scholar
DBLP
ORCID
Career & Education History
PhD student
School of Computer Science,
University of Leeds
(leeds.ac.uk)
2022
–
2025
Advisors, Relations & Conflicts
No relations added
Expertise
No areas of expertise listed
Publications
Solving Quantified Boolean Formulas with Few Existential Variables
Leif Eriksson
,
Victor Lagerkvist
,
Sebastian Ordyniak
,
George Osipov
,
Fahad Panolan
,
Mateusz Rychlicki
IJCAI 2024
Readers:
Everyone
Co-Authors
Fahad Panolan
George Osipov
Leif Eriksson
Sebastian Ordyniak
Victor Lagerkvist