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
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa New results on monotone dualization and generating hypergraph transversals. (English) Zbl 1052.68101 SIAM J. Comput. 32, No. 2, 514-537 (2003). MSC: 68R10 05C65 05C85 05C90 06E30 68P15 68Q25 68T30 94C10 PDFBibTeX XMLCite \textit{T. Eiter} et al., SIAM J. Comput. 32, No. 2, 514--537 (2003; Zbl 1052.68101) Full Text: DOI