机译:推广亚模和号角子句:由锦标赛对多态定义的可操作优化问题
Discrete optimization; Constraint satisfaction problem; Valued constraint satisfaction; Tractability; Submodularity; Tournament operation; Majority operation; Modular decomposition;
机译:推广亚模和号角子句:由锦标赛对多态定义的可操作优化问题
机译:由方程组定义的Horn子句程序和递归函数
机译:具有4.6到24 GHz高效馈源的具有新样条定义轮廓的四肋喇叭喇叭的优化和实现
机译:半分区号角子句:类型的可逻辑
机译:泛化亚模和Horn子句:由锦标赛对多态定义的易处理的优化问题