DMCA

The Complexity of Integer Bound Propagation

by Lucas Bordeaux , George Katsirelos , Nina Narodytska , Moshe Y. Vardi