Matthew J. McIlree

1
papers
1
total citations

papers (1)

Certifying Bounds Propagation for Integer Multiplication Constraints

AAAI 2025
1
citations