Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality.

Chendong Li

Browse the full ICLP paper archive.