CAD-based AND/OR Graph Generation Algorithms in (Dis)assembly Sequence Planning of Complex Products | Synapse