Detection of the optimum disassembly sequence for a given product can proceed via mathematical programming, which is based on the AND/OR graph representation of its disassembly process. This is called the exact method for it reveals the global optimum. This paper describes an extension of the exact method in case sequence-dependent costs are considered. Previously presented methods confined themselves either to sequential disassembly, or were based on heuristics. The only exact method for the full problem known so far, needs an elaborate transformation of the AND/OR graph, and is based on integer linear programming. This paper discusses an alternate approach that uses a binary integer linear programming approach and that lacks the need of transforming the AND/OR graph. The proposed method is applied to arbitrary instances of some product structures that have been taken from the literature. Apart from this, the method is applied to an expandable AND/OR graph, that enables gradual increase of product complexity. It is demonstrated that the convergence of the iteration process is satisfactory, and the required CPU time appears comparatively small and only moderately increases with the number of constraints. It appears that the method applies to products with a complexity that cannot be managed with the integer linear programming model. The iterative method is promising for dealing with modularized products and as a benchmark for heuristic algorithms, which are used if products exhibit still higher complexity.