Caterina Viola
Orcid: 0000-0002-7312-5002
According to our database1,
Caterina Viola
authored at least 14 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Theory and Applications of Models of Computation, 2024
Proceedings of the Intelligent Computing, 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024
Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024
2023
2022
ACM Trans. Comput. Log., 2022
An Application of Farkas' Lemma to Finite-Valued Constraint Satisfaction Problems over Infinite Domains.
CoRR, 2022
2021
The Combined Basic LP and Affine IP Relaxation for Promise VCSPs on Infinite Domains.
ACM Trans. Algorithms, 2021
2020
Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables.
CoRR, 2020
2018
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018