Test Instance Generation for MAX 2SAT
Test Instance Generation for MAX 2SAT
复制标题
MAX 2SAT 的测试实例生成
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Mitsuo Motoki
中科院分区：
文献类型：
--
作者：
Mitsuo Motoki
登录
查看更多内容
使用最佳解决方案生成 MAX2SAT 实例
影响因子：
0.5
作者：
Masaki Yamamoto
通讯作者：
Masaki Yamamoto
DOI：
10.1006/jagm.2001.1202
发表时间：
2000-02
期刊：
J. Algorithms
影响因子：
--
作者：
Takao Asano;David P. Williamson
通讯作者：
Takao Asano;David P. Williamson
大量 SAT 分配以及已安排的作业
DOI：
10.1007/978-3-540-45193-8_19
发表时间：
2003
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
作者：
T. Dimitriou
通讯作者：
T. Dimitriou
MAX 3SAT 的随机实例生成
DOI：
10.1007/3-540-44679-6_56
发表时间：
2001
期刊：
International Computing and Combinatorics Conference
影响因子：
--
作者：
Mitsuo Motoki
通讯作者：
Mitsuo Motoki