Najważniejsze publikacje
- 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),
Najnowsze publikacje
- 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),
Zainteresowania
Problemy Spełnialności Więzów
Złożoność Obliczeniowa
Logika w Informatyce
Algebra Uniwersalna
Michał Wrona
stopień/tytuł doktor habilitowany stanowiskobadawczo-dydaktyczne, profesor uczelni
jednostka
- Katedra Algorytmiki
- Instytut Informatyki Analitycznej
michal.wrona@uj.edu.pl
www