US11386509B2 - System and Method for Determining Hybrid-Manufacturing Process Plans Based on Satisfiability Modulo Difference Logic Solver