Yuliia Kholodetska

According to our database, Yuliia Kholodetska authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

Bounded satisfiability checking of $\hbox {FOL}^*$ formulas with aggregations.

Nick Feng, Lina Marsso, Yuliia Kholodetska, Marsha Chechik

Formal Methods Syst. Des., December, 2025

2022

Using Artificial Intelligence Algorithms in Advertising.

Nataliya Boyko, Yuliia Kholodetska

Proceedings of the 17th IEEE International Conference on Computer Sciences and Information Technologies, 2022