IntSat: integer linear programming by conflict-driven constraint learning | Publicación