( en | de | ru )

 

Disambiguation of "Wrona, Michal"

Author of the publication

copydeleteadd this publication to your clipboard
Tractability Frontier for Dually-Closed Temporal Quantified Constraint Satisfaction Problems.

. CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frank Wrona

Marcus Wrona

Vera Wrona

Thomas Wrona

Vera Wrona

 

Other publications of authors with the same name

The Complexity of Minimal Inference Problem for Conservative Constraint Languages.. ACM Trans. Comput. Log., 20 (2): 8:1-8:35 (2019)Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction., and . TIME, page 99-106. IEEE Computer Society, (2012)Syntactically Characterizing Local-to-Global Consistency in ORD-Horn.. CP, volume 7514 of Lecture Notes in Computer Science, page 704-719. Springer, (2012)Quantified Positive Temporal Constraints., and . CSL, volume 5213 of Lecture Notes in Computer Science, page 94-108. Springer, (2008)Identifying Tractable Quantified Temporal Constraints within Ord-Horn., , and . CoRR, (2024)Tractability Frontier for Dually-Closed Temporal Quantified Constraint Satisfaction Problems.. CoRR, (2021)Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems.. MFCS (1), volume 8634 of Lecture Notes in Computer Science, page 535-546. Springer, (2014)Smooth Approximations and Relational Width Collapses., , , and . ICALP, volume 198 of LIPIcs, page 138:1-138:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The complete classification for quantified equality constraints., , and . SODA, page 2746-2760. SIAM, (2023)2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices., and . ISMVL, page 21. IEEE Computer Society, (2007)