...
机译:解决MAXSAT问题的基于数据挖掘的分解:一种新方法
University of Saad Dahleb Blida;
Lorraine University;
CERIST Research Center;
Data mining; Clustering algorithms; Databases; Knowledge discovery; Optimization; Graph theory; Transforms;
机译:在FPGA上解决SAT / MaxSAT编码形式验证问题的方法
机译:基于数据挖掘的调度系统,用于解决本地取送问题
机译:基于数据挖掘的调度系统,用于解决本地取送问题
机译:分布式数据库系统中的缓冲区管理:一种基于数据挖掘的方法
机译:解决功能冗余串行操纵器的扭曲分解方法。
机译:复杂问题解决过程数据的统计分析:事件历史分析方法
机译:Multi-MaxSAT:用拉格朗日分解和协调法求解加权Max-SAT