<  Back to the Polytechnique Montréal portal

Items where Author is "Kholodetska, Yuliia"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Number of items: 1.

Feng, N., Marsso, L., Kholodetska, Y., & Chechik, M. (2025). Bounded satisfiability checking of FOL* formulas with aggregations. Formal Methods in System Design, 67(3), 282-315. External link

List generated on: Fri May 15 08:49:34 2026 EDT