Mechanically Proving Complex Properties of Integer Linear Programs: A Case with the Multi-Level Closest Assignment Constraints.
Saved in:
| Title: | Mechanically Proving Complex Properties of Integer Linear Programs: A Case with the Multi-Level Closest Assignment Constraints. |
|---|---|
| Authors: | Lei, Zhen1 (AUTHOR), Lei, Ting L.2 (AUTHOR) lei@ku.edu |
| Source: | ISPRS International Journal of Geo-Information. Jun2026, Vol. 15 Issue 6, p235. 23p. |
| Database: | Academic Search Ultimate |
| ISSN: | 22209964 |
|---|---|
| DOI: | 10.3390/ijgi15060235 |
