数值与符号的耦合约束求解模型
수치여부호적우합약속구해모형
Model for solving numerical and symbolic coupling constraints
저자의 최근 논문