Zaneta Semanisinová

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

Collaborative distances:

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

2024

Identifying Tractable Quantified Temporal Constraints within Ord-Horn.

Jakub Rydval, Zaneta Semanisinová, Michal Wrona

CoRR, 2024

2023

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems.

Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz

CoRR, 2023

2022

Complexity Classification Transfer for CSPs via Algebraic Products.

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

CoRR, 2022