开尔文·布诺;亨利·阿多诺 求解具有字符串对象的分布式P系统中的3-SAT。 (英语) Zbl 1512.68093号 西奥。计算。科学。 964,文章ID 113976,第27页(2023).MSC公司:2007年第68季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Buño}和\textit{H.Adorna},Theor。计算。科学。964,文章ID 113976,27 p.(2023;Zbl 1512.68093) 全文: DOI程序
开尔文·布诺;亨利·阿多纳 使用子句补全法对SAT用带活性膜的a(k)P系统进行分布式计算。 (英语) Zbl 1469.68026号 J.成员。计算。 2,第2号,108-120(2020年).MSC公司:2007年第68季度 2011年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Buño}和\textit{H.Adorna},J.Membr。计算。2,第2号,108-120(2020;Zbl 1469.68026) 全文: DOI程序