Watch Video
The objective sum constraint
by Jean-Charles Regin and Thierry Petit