Zaneta Semanisinová

According to our database, Zaneta Semanisinová authored at least 4 papers in 2024.

Collaborative distances:

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

2024

Complexity Classification Transfer for CSPs via Algebraic Products.

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

SIAM J. Comput., 2024

Temporal Valued Constraint Satisfaction Problems.

Manuel Bodirsky, Édouard Bonnet, Zaneta Semanisinová

CoRR, 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