Bounded satisfiability checking of FOL∗ formulas with aggregations.
Saved in:
| Title: | Bounded satisfiability checking of FOL∗ formulas with aggregations. |
|---|---|
| Authors: | Feng, Nick1, fengnick@cs.toronto.edu, Marsso, Lina2, lmarsso@cs.toronto.edu, Kholodetska, Yuliia1, Chechik, Marsha1, chechik@cs.toronto.edu |
| Source: | Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p282-315, 34p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09259856 |
|---|---|
| DOI: | 10.1007/s10703-025-00483-4 |
