Note on strong refutation algorithms for random k-SAT formulas-猫眼课题宝

DOI：

10.1016/j.endm.2009.11.027

发表时间：

2009-12

期刊：

Electron. Notes Discret. Math.

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

Hiêp Hàn;Y. Person;M. Schacht