1) contractual methodology
"契约型"逻辑
2) restricted second-order logic
约束型二阶逻辑
3) logical constraint
逻辑约束
1.
In order to achieve a compact model,logical constraints enabled by CP are used to express the operation rules in crude feeding.
约束规划允许以逻辑约束表达混输过程中的操作规则,使模型简洁直观,而对整型变量及非线性约束不敏感,则降低了模型的求解难度。
4) logical appointment
逻辑约定
5) Constraint logic
约束逻辑
补充资料：契约
| 契约 contract 见合同。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条