MaxSAT相关论文
基于模型诊断作为一个新兴的智能故障诊断技术,改进了传统故障诊断方法中所存在的不足,是人工智能领域的研究热点,并在许多领域得......
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化......
