Heule,Marijn J.H。;斯泽德,斯特凡 SAT中的clique-width方法。 (英语) Zbl 1354.68240号 ACM事务处理。计算。日志。 第16号第3条第24条第27页(2015年).MSC公司:68T20型 05C69号 05C75号 05C78号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.H.Heule}和\textit{S.Szeider},ACM Trans。计算。日志。16,第3号,第24条,第27页(2015年;兹bl 1354.68240) 全文: 内政部 arXiv公司
约翰·克劳斯·费希特;斯泽德,斯特凡 可控制答案集编程的后门。 (英语) Zbl 1328.68040号 Artif公司。智力。 220, 64-103 (2015).MSC公司:68N17号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}和\textit{S.Szeider},人工制品。智力。220、64-103(2015;Zbl 1328.68040) 全文: 内政部 arXiv公司