Certifying Bounds Propagation for Integer Multiplication Constraints.

Matthew J. McIlree, Ciaran McCreesh

Browse the full AAAI paper archive.