乔迪·科尔;李楚敏;很多,费利普;埃利夫娜斯·扬金 正则命题逻辑的MaxSAT解析。 (英语) Zbl 07766524号 国际J近似推理 162,文章ID 109010,11 p.(2023).MSC公司:68兰特 03B50号 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Coll}等人,《国际近似推理》162,文章ID 109010,第11页(2023;Zbl 07766524) 全文: 内政部
凯瑟琳·巴勒斯坦;蒂斯,德克·奥利弗 一种带区间的随机符号3-SAT算法。 (英语) Zbl 1285.68210号 西奥。计算。科学。 524, 1-26 (2014).MSC公司:68瓦20 68瓦40 65年第68季度 87年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Ballerstein}和\textit{D.O.Theis},Theor。计算。科学。524,1--26(2014;Zbl 1285.68210) 全文: 内政部 arXiv公司
卡洛斯·安索特吉;何塞·拉鲁比亚;李楚敏;很多,费利普 在SAT求解器的变量选择启发式中利用多值知识。 (英语) Zbl 1124.68102号 安。数学。Artif公司。智力。 49,编号1-4191-205(2007).MSC公司:68T20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《数学年鉴》。Artif公司。智力。49,编号1--4,191-205(2007;Zbl 1124.68102) 全文: 内政部