Skip to content
cs-conference-ranking.org

Michal Wrona

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

12

Active years

2005–2024

Best venue rank

A*

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2024ICALPIdentifying Tractable Quantified Temporal Constraints Within Ord-Horn.Jakub Rydval, Zaneta Semanisinov, Michal Wrona
2023SODAThe complete classification for quantified equality constraints.Dmitriy Zhuk, Barnaby Martin, Michal Wrona
2021ICALPSmooth Approximations and Relational Width Collapses.Antoine Mottet, Toms Nagy, Michael Pinsker, Michal Wrona
2020LICSOn The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width.Michal Wrona
2020STACSRelational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width.Michal Wrona
2017LICSThe complexity of minimal inference problem for conservative constraint languages.Michal Wrona
2017LPNMRMinimal Inference Problem Over Finite Domains: The Landscape of Complexity.Michal Wrona
2016CiEThe Complexity of Counting Quantifiers on Equality Languages.Barnaby Martin, Andrs Pongrcz, Michal Wrona
2014AAAILocal-to-Global Consistency Implies Tractability of Abduction.Michal Wrona
2014MFCSTractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems.Michal Wrona
2013CSLThe Complexity of Abduction for Equality Constraint Languages.Johannes Schmidt, Michal Wrona
2012CPSyntactically Characterizing Local-to-Global Consistency in ORD-Horn.Michal Wrona
2012CSLEquivalence Constraint Satisfaction Problems.Manuel Bodirsky, Michal Wrona
2012TIMEGuarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction.Hubie Chen, Michal Wrona
2008CSLQuantified Positive Temporal Constraints.Witold Charatonik, Michal Wrona
2008LPARTractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates.Witold Charatonik, Michal Wrona
2005MFCSStratified Boolean Grammars.Michal Wrona