US7036720B2 - Method and Apparatus for Resolution of Problems Using Constrained Discrete Variables