【摘 要】
：
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量
【机 构】
：
电子科技大学计算机科学与工程学院,中国科学院成都计算机应用研究所
【基金项目】
：
国家自然科学基金资助项目（60373113）,国家973计划资助项目（2004CB318000）
论文部分内容阅读
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量又划分为两个互不相交的子集,仅对那些无法判断的子集,赋以符号值,从而限定了赋予符号值的变量范围,即可减少算法的回溯次数,又能降低内存占用率。理论及实验结果均证明,该算法是合理且有效的。
其他文献
用FTIP、DSC方法研究了不同引发剂（DCP、DMTBH）引发两种硅烷（VTEOS、VTMOS）与HDPE、LLDPE的接枝反应，确定了不同组合反应体系的反应活化能（Ea）。结果表明，引发剂的分解特性（分解温度和
为提高大麻纤维的柔软性、可纺性能,针对不同脱胶工艺处理后的大麻纤维在分梳前进行柔软整理。分析柔软整理前后大麻纤维经分梳后的物理机械性能。结果表明：柔软整理后大麻纤
从1996年到2016年，从10个章节到11个章节，从62个条目到66个条目……20年的幼教发展历程，在新《幼儿园工作规程》（以下简称《规程》）中得到怎样的体现？作为一名从教23年的幼教工作者，结合自己的工作与成长历程，经过对新旧《规程》反复地研读、比对，深刻体会到今天的幼儿教育更趋科学、理性。 一、新《规程》强调安全工作的首要性 “幼儿园应将保护幼儿生命，促进幼儿健康放在工作的首位”，早在2