论文部分内容阅读
Complete Boolean Satisfiability Solving Algorithms Based on Local Search
【机 构】
：
School of Computer Science and Engineering,Synopsys Inc.,Department of Electrical and Computer Engin
【出 处】
：
计算机科学技术学报（英文版）
【发表日期】
：
2004年期
【基金项目】
：
This work was partially supported by the National Natural Science Foundation of China;the National Basic Research 973 Program of China
其他文献
阐述中国图书馆学会专业图书馆分会举办的“图书馆信息资源及服务现状调查”的目的和方法,说明该调查研究的主要内容和结果。对目前图书馆在信息资源建设和信息服务中所存在
Modeling and process optimization for microbial desulfurization of coal by using a two-level full fa
Experiment and simulation on the pyrite removal from the recirculating load of pulverizer with a dil
Integrative method in lithofacies characteristics and 3D velocity volume of the Permian igneous rock
Component fractionation of temporal evolution in adsorption-desorption for binary gas mixtures on co
基于金属高温蠕变理论,结合单晶镍基高温合金蠕变过程的微观特点,从蠕变曲线方程的选择、截断应变点的确定以及强化项和弱化项的影响等方面,对采用修正θ函数影射法提高DD3单
Microhydration of Alanine in Gas Phase Studied by Quantum Chemical Method and ABEEMσπ/MM Fluctuating