Zaneta Semanisinová

According to our database, Zaneta Semanisinová authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 25211).

Manuel Bodirsky, Venkatesan Guruswami, Dániel Marx, Stanislav Zivný, Zaneta Semanisinová

Dagstuhl Reports, May, 2025

Temporal Valued Constraint Satisfaction Problems.

Manuel Bodirsky, Édouard Bonnet, Zaneta Semanisinová

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Complexity Classification Transfer for CSPs via Algebraic Products.

Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Zaneta Semanisinová

SIAM J. Comput., 2024

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems.

Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Identifying Tractable Quantified Temporal Constraints Within Ord-Horn.

Jakub Rydval, Zaneta Semanisinová, Michal Wrona

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024