可满足性求解器相关论文
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语......
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测......
代数攻击是近年出现的重要密码分析方法,目前已被成功应用于对称和非对称密码领域中多种密码算法的分析之中。该技术借助于代数方程......