基于MiniSat的多项式方程组求解实现

• 作者: 彭伟 邹湘景
• 来源期刊: 重庆理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 可满足性问题 MiniSat 多项式 合取范式
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 信息?计算机
• 页码范围: 75-81
• 页数: 7页
• 分类号: TP302
• 字数: 5868字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(z).2015.06.015

摘要

规模较大时，求解比较困难，大大限制了分析研究的效率。针对该问题设计了一种算法，将具有一定格式的多项式转化为合取范式形式，使多项式求解问题转化为SAT求解问题。利用SAT求解器MiniSat对二元域上的多项式组进行求解，使得密码分析过程更加高效。实验结果表明：该算法能正确地将多项式进行转化，并能快速利用MiniSat求出结果。在许多分析验证研究中，经常要对问题中的多项式组进行求解。当多项式方程组

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭伟	国防科技大学计算机学院	21	138	8.0	11.0
2	邹湘景	国防科技大学计算机学院	1	0	0.0	0.0