Report on SAT competition and Max-SAT evaluation

被引：0

作者：

Nabeshima, Hidetomo ^{[1
]}

Koshimura, Miyuki ^{[2
]}

Banbara, Mutsunori ^{[3
]}

机构：

[1] University of Yamanashi, Japan

[2] Kyushu University, Japan

[3] Kobe University, Japan

来源：

Computer Software | 2012年 / 29卷 / 04期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：9 / 14

相关论文

empty

未找到相关数据