New Rigorous Decomposition Methods for Mixed-integer Linear and Nonlinear Programming