马丁·格罗;丹尼尔·诺恩 有界秩宽图的规范化和可定义性。 (英语) Zbl 07650602号 ACM事务处理。计算。日志。 24,第1条,第6条,第31页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{D.Neuen},ACM翻译。计算。日志。24,第1号,第6条,第31页(2023;Zbl 07650602) 全文: 内政部 arXiv公司
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公司