我在我的c++代码中使用SCIP Optimization Suite 3.0.2来实现一个调度程序,我想问您实现约束的最佳方式是什么,例如:其中t_i是连续变量我找到了所有支持的约束类型的概述:和我以某种方式将我的问题实现为更多线性约束以及它们之间的合取和析取的层次结构,但我有一个疑虑,这使得寻找解决方案变得困难。
所以我在Visual Studio2010中编写了一个查询(我的意思是打开服务器资源管理器,右键单击服务器,然后选择New Query)。查询包括条件这是合取范式(CNF)。Server 2008)时,它将文本更改为A AND B AND C AND D AND E AND F AND H
它是析取范式从我在网上找到的少量数据来看,DNF似乎允许SQ