Michał Wrona

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough SIAM Journal on Computing	2024-12-20	Paper
scientific article; zbMATH DE number 7650924 (Why is no real title available?) (available as arXiv preprint)	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 Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
The complexity of minimal inference problem for conservative constraint languages	2021-01-19	Paper
The Complexity of Minimal Inference Problem for Conservative Constraint Languages ACM Transactions on Computational Logic	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 Theoretical Computer Science	2017-03-16	Paper
The Complexity of Counting Quantifiers on Equality Languages Pursuit of the Universal	2016-08-17	Paper
Tractability of quantified temporal constraints to the max International Journal of Algebra and Computation	2015-02-24	Paper
Tractability frontier for dually-closed Ord-Horn quantified constraint satisfaction problems Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Equivalence constraint satisfaction problems	2012-11-22	Paper
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Quantified Positive Temporal Constraints Computer Science Logic	2008-11-20	Paper
Mathematical Foundations of Computer Science 2005 Lecture Notes in Computer Science	2006-10-20	Paper

Research outcomes over time

This page was built for person: Michał Wrona