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
- Antoine Mottet, Tomáš Nagy, Michael Pinsker, Michał Wrona, Collapsing the Bounded Width Hierarchy for Infinite-Domain Constraint Satisfaction Problems: When Symmetries Are Enough, SIAM Journal on Computing 53 (2024), 1709-1745
- Jakub Rydval, Zaneta Semanisinova, Michał Wrona, Identifying Tractable Quantified Temporal Constraints Within Ord-Horn, International Colloquium on Automata Languages and Programming [ICALP] 297 (2024), 20
- Dmitriy Zhuk, Barnaby Martin, Michał Wrona, The complete classification for quantified equality constraints, ACM/SIAM Symposium on Discrete Algorithms [SODA], (2023), 2746-2760
- Antoine Mottet, Tomáš Nagy, Michael Pinsker, Michał Wrona, 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
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