SAT递归后门
摘要
出版物: -
arXiv电子打印 发布日期: 2021年2月 内政部: -
10.48550/arXiv.2102.04707 arXiv: -
arXiv公司:2102.04707 书目代码: -
2021arXiv210204707M 关键词: -
计算机科学-数据结构和算法; 计算机科学-离散数学; 计算机科学-计算机科学中的逻辑