Complex sentence: Many solutions have been proposed to overcome this problem (e.g. symbolic representations with decisions diagrams) but these methods can rapidly lead to an unacceptable time consumption.
Split into simpler sentences: Many solutions have been proposed to overcome this problem like symbolic representations with decisions diagrams. But these methods can rapidly lead to an unacceptable time consumption.