Przejdź do głównej treści

Nawigacja okruszkowa Nawigacja okruszkowa

Widok zawartości stron Widok zawartości stron

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

avatar for Michał Wrona

Michał Wrona

stopień/tytuł doktor habilitowany stanowisko
badawczo-dydaktyczne, profesor uczelni
jednostka
  • Katedra Algorytmiki
  • Instytut Informatyki Analitycznej
ORCID kontakt
michal.wrona@uj.edu.pl
www