Ngoko, Yanik; Cérin, Christophe; Trystram, Denis Solving SAT in a distributed cloud: a portfolio approach. (English) Zbl 1430.68293 Int. J. Appl. Math. Comput. Sci. 29, No. 2, 261-274 (2019). MSC: 68T20 68W15 68W25 PDF BibTeX XML Cite \textit{Y. Ngoko} et al., Int. J. Appl. Math. Comput. Sci. 29, No. 2, 261--274 (2019; Zbl 1430.68293) Full Text: DOI
Brun, Yuriy Solving satisfiability in the tile assembly model with a constant-size tileset. (English) Zbl 1162.68446 J. Algorithms 63, No. 4, 151-166 (2008). MSC: 68Q10 68T20 PDF BibTeX XML Cite \textit{Y. Brun}, J. Algorithms 63, No. 4, 151--166 (2008; Zbl 1162.68446) Full Text: DOI
Pan, Linqiang; Martín-Vide, Carlos Further remark on P systems with active membranes and two polarizations. (English) Zbl 1101.68590 J. Parallel Distrib. Comput. 66, No. 6, 867-872 (2006). MSC: 68Q10 PDF BibTeX XML Cite \textit{L. Pan} and \textit{C. Martín-Vide}, J. Parallel Distrib. Comput. 66, No. 6, 867--872 (2006; Zbl 1101.68590) Full Text: DOI
Amir, Eyal; McIlraith, Sheila Partition-based logical reasoning for first-order and propositional theories. (English) Zbl 1132.68672 Artif. Intell. 162, No. 1-2, 49-88 (2005). MSC: 68T15 68P15 PDF BibTeX XML Cite \textit{E. Amir} and \textit{S. McIlraith}, Artif. Intell. 162, No. 1--2, 49--88 (2005; Zbl 1132.68672) Full Text: DOI