Alves, Mateus Rodrigues; de Oliveira Oliveira, Mateus; Nascimento Silva, Janio Carlos; dos Santos Souza, Uéverton Succinct certification of monotone circuits. (English) Zbl 1514.68075 Theor. Comput. Sci. 889, 1-13 (2021). MSC: 68Q06 68Q27 94C11 PDFBibTeX XMLCite \textit{M. R. Alves} et al., Theor. Comput. Sci. 889, 1--13 (2021; Zbl 1514.68075) Full Text: DOI
Alves, Mateus Rodrigues; de Oliveira Oliveira, Mateus; Silva, Janio Carlos Nascimento; dos Santos Souza, Uéverton Succinct monotone circuit certification: planarity and parameterized complexity. (English) Zbl 07336129 Kim, Donghyun (ed.) et al., Computing and combinatorics. 26th international conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12273, 496-507 (2020). MSC: 68Rxx PDFBibTeX XMLCite \textit{M. R. Alves} et al., Lect. Notes Comput. Sci. 12273, 496--507 (2020; Zbl 07336129) Full Text: DOI