表达式化简相关论文
混合布尔算术（Mixed Boolean-Arithmetic,MBA）混淆技术是一种语义保留的变换方法,它将一个简单的表达式转变为一个难于理解和分析的......
机器证明主要需要解决三个问题。首先是知识表示,即用何种语言描述问题和定理;其次是知识更新,即给定由旧知识到新知识的规则;最后......
软件测试是保证软件产品质量的重要手段。其中，如何生成最少的测试输入数据而能对程序进行最全面的测试，成为了人们研究的一个重要课......
经过40余年的发展，字符串匹配已经从单一的单模式串匹配发展成为包含多模式匹配、正则匹配、近似匹配等多个新方向的研究领域。而随......
