中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

限定条件        
已选(0)清除 条数/页：   排序方式：
Super solutions of random (3+p)-SAT 期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 793, 页码: 14-27
作者:  Wang, Bin;  Zhou, Guangyan
收藏  |  浏览/下载：213/0  |  提交时间：2020/01/10
(1,0)-satisfiable  Super solution  Phase transition  Unit Clause  
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x] 期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 755, 页码: 89-109
作者:  Jing, Rui-Juan;  Yuan, Chun-Ming;  Gao, Xiao-Shan
收藏  |  浏览/下载：171/0  |  提交时间：2019/03/05
Generalized Hermite normal form  Grobner basis  Polynomial-time algorithm  Z[x] module