Michal Wrona

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 17

Top Topics

Constraint Satisfaction Problems

Temporal Constraints

Global Consistency

Maximal Tractable

Top Venues

ACM Trans. Comput. Log.

Publications

Jakub Rydval, Zaneta Semanisinová, Michal Wrona
Identifying Tractable Quantified Temporal Constraints within Ord-Horn. CoRR (2024)
Michal Wrona
Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation). CoRR (2024)
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
Identifying Tractable Quantified Temporal Constraints Within Ord-Horn. ICALP (2024)
Dmitriy Zhuk, Barnaby Martin, Michal Wrona
The complete classification for quantified equality constraints. SODA (2023)
Manuel Bodirsky, Hubie Chen, Michal Wrona
Tractability of Quantified Temporal Constraints To The Max. CoRR (2021)
Michal Wrona
Tractability Frontier for Dually-Closed Temporal Quantified Constraint Satisfaction Problems. CoRR (2021)
Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
Smooth Approximations and Relational Width Collapses. CoRR (2021)
Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
Smooth Approximations and Relational Width Collapses. ICALP (2021)
Michal Wrona
Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width. CoRR (2020)
Michal Wrona
Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width. STACS (2020)
Michal Wrona
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width. LICS (2020)
Michal Wrona
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width. CoRR (2020)
Michal Wrona
The Complexity of Minimal Inference Problem for Conservative Constraint Languages. ACM Trans. Comput. Log. 20 (2) (2019)
Barnaby Martin, András Pongrácz, Michal Wrona
The complexity of counting quantifiers on equality languages. Theor. Comput. Sci. 670 (2017)
Michal Wrona
The complexity of minimal inference problem for conservative constraint languages. LICS (2017)
Michal Wrona
Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. LPNMR (2017)
Barnaby Martin, András Pongrácz, Michal Wrona
The Complexity of Counting Quantifiers on Equality Languages. CiE (2016)
Manuel Bodirsky, Hubie Chen, Michal Wrona
Tractability of quantified temporal constraints to the max. Int. J. Algebra Comput. 24 (8) (2014)
Michal Wrona
Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems. MFCS (1) (2014)
Michal Wrona
Local-to-Global Consistency Implies Tractability of Abduction. AAAI (2014)
Johannes Schmidt, Michal Wrona
The Complexity of Abduction for Equality Constraint Languages. CSL (2013)
Michal Wrona
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. CP (2012)
Hubie Chen, Michal Wrona
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. TIME (2012)
Manuel Bodirsky, Michal Wrona
Equivalence Constraint Satisfaction Problems. CSL (2012)
Witold Charatonik, Michal Wrona
Quantified Positive Temporal Constraints. CSL (2008)
Witold Charatonik, Michal Wrona
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. LPAR (2008)
Witold Charatonik, Michal Wrona
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. ISMVL (2007)
Michal Wrona
Stratified Boolean Grammars. MFCS (2005)