Caterina Viola

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Constraint Satisfaction Problems

Backtracking Search

Top Venues

ACM Trans. Comput. Log.

Publications

Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. CoRR (2024)
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. LICS (2024)
Simone Faro, Arianna Pavone, Caterina Viola
Quantum Path Parallelism: A Circuit-Based Approach to Text Searching. TAMC (2024)
Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
Quantum Circuits for Fixed Substring Matching Problems. CoRR (2023)
Arianna Pavone, Caterina Viola
The Quantum Cyclic Rotation Gate. ICTCS (2023)
Domenico Cantone, Simone Faro, Arianna Pavone, Caterina Viola
Longest Common Substring and Longest Palindromic Substring in Õ(√n) Time. CoRR (2023)
Friedrich Martin Schneider, Caterina Viola
An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains. CoRR (2022)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation. ACM Trans. Comput. Log. 23 (1) (2022)
Caterina Viola, Stanislav Zivný
The Combined Basic LP and Affine IP Relaxation for Promise VCSPs on Infinite Domains. ACM Trans. Algorithms 17 (3) (2021)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables. CoRR (2020)
Caterina Viola, Stanislav Zivný
The Combined Basic LP and Affine IP Relaxation for Promise VCSPs on Infinite Domains. MFCS (2020)
Caterina Viola, Stanislav Zivný
The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains. CoRR (2020)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation. CoRR (2019)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. CoRR (2018)
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. CSL (2018)