Michał Wrona

Available identifiers

Publication	Date of Publication	Type
Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough	2024-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5874312	2023-02-07	Paper
The complete classification for quantified equality constraints	2021-04-01	Paper
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5144663	2021-01-19	Paper
The Complexity of Minimal Inference Problem for Conservative Constraint Languages	2019-05-03	Paper
Minimal inference problem over finite domains: the landscape of complexity	2017-09-05	Paper
The complexity of counting quantifiers on equality languages	2017-03-16	Paper
The Complexity of Counting Quantifiers on Equality Languages	2016-08-17	Paper
Tractability of quantified temporal constraints to the max	2015-02-24	Paper
Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems	2014-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4649542	2012-11-22	Paper
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates	2009-01-27	Paper
Quantified Positive Temporal Constraints	2008-11-20	Paper
Mathematical Foundations of Computer Science 2005	2006-10-20	Paper

This page was built for person: Michał Wrona