Portfolio with Block Branching for Parallel SAT Solvers-猫眼课题宝

并行 SAT 求解器的块分支组合

DOI：

发表时间：

2012

期刊：

Proceedings of the Learning and Intelligent Optimization Conference (LION7)（電子媒体）

影响因子：

通讯作者：

中科院分区：

文献类型：

作者：

M.Fujino;H.Tanaka;Y.Ichinomiya;M.Kuga;M.Iida;M.Amagasaki and T.Sueyoshi;Tomohiro Sonobe and Mary Inaba