Zaneta Semanisinová

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Constraint Satisfaction Problems

Temporal Constraints

Top Venues

Publications

Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. LICS (2024)
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
Identifying Tractable Quantified Temporal Constraints within Ord-Horn. CoRR (2024)
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
Identifying Tractable Quantified Temporal Constraints Within Ord-Horn. ICALP (2024)
Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. CoRR (2023)
Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Zaneta Semanisinová
Complexity Classification Transfer for CSPs via Algebraic Products. CoRR (2022)