<  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
Jump to: F
Number of items: 1.

F

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: Sun Apr 12 07:59:11 2026 EDT