Most significant publications
- Michał Wrona, On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width, IEEE Symposium on Logic in Computer Science [LICS] 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020) (2020), 958-971
- Michał Wrona, The Complexity of Minimal Inference Problem for Conservative Constraint Languages, ACM Transactions on Computational Logic 20(2) (2019),
Recent publications
- Michał Wrona, Dmitriy Zhuk, Barnaby Martin, The complete classification for quantified equality constraints, ACM/SIAM Symposium on Discrete Algorithms [SODA], (2023), 2746-2760
- Michał Wrona, Antoine Mottet, Tomáš Nagy, Michael Pinsker, Smooth Approximations and Relational Width Collapses, International Colloquium on Automata Languages and Programming [ICALP] LIPIcs 198, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021 (2021), 138:1-138:20
- Michał Wrona, On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width, IEEE Symposium on Logic in Computer Science [LICS] 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020) (2020), 958-971
- Michał Wrona, Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width, International Symposium on Theoretical Aspects of Computer Science [STACS] 154 (LIPIcs) (2020), 39:1-39:16
- Michał Wrona, The Complexity of Minimal Inference Problem for Conservative Constraint Languages, ACM Transactions on Computational Logic 20(2) (2019),
Interests
Constraint Satisfaction Problems
Computational Complexity
Logic in Computer Science
Universal Algebra
Michał Wrona
academic degree/title Doctor of Science positionresearch and faculty staff member group, university professor
unit
- Algorithmics Research Group
- Theoretical Computer Science
michal.wrona@uj.edu.pl
www