The IntSat Method for Integer Linear Programming | Publicación