Zaneta Semanisinová

11 papers A* 2A 1B 1Journal 7
YearRankTypeTitle / Venue / Authors
2026 A conf
The Complexity of Resilience for Digraph Queries.
STACS
Manuel Bodirsky, Zaneta Semanisinová
2026 J jnl
The Complexity of Resilience for Digraph Queries.
CoRR
Manuel Bodirsky, Zaneta Semanisinová
2025 B conf
Temporal Valued Constraint Satisfaction Problems.
MFCS
Manuel Bodirsky, Édouard Bonnet, Zaneta Semanisinová
2025 J jnl
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 25211).
Dagstuhl Reports
Manuel Bodirsky, Venkatesan Guruswami, Dániel Marx, Stanislav Zivný, Zaneta Semanisinová
2024 J jnl
Complexity Classification Transfer for CSPs via Algebraic Products.
SIAM J. Comput.
Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Zaneta Semanisinová
2024 A* conf
Identifying Tractable Quantified Temporal Constraints Within Ord-Horn.
ICALP
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
2024 J jnl
Identifying Tractable Quantified Temporal Constraints within Ord-Horn.
CoRR
Jakub Rydval, Zaneta Semanisinová, Michal Wrona
2024 J jnl
Temporal Valued Constraint Satisfaction Problems.
CoRR
Manuel Bodirsky, Édouard Bonnet, Zaneta Semanisinová
2024 A* conf
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems.
LICS
Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
2023 J jnl
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems.
CoRR
Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz
2022 J jnl
Complexity Classification Transfer for CSPs via Algebraic Products.
CoRR
Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Zaneta Semanisinová