Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity. - Mateus Rodrigues Alves; Mateus de Oliveira Oliveira; Janio Carlos Nascimento Silva; Uéverton dos Santos Souza (COCOON, 2020)

Succinct certification of monotone circuits. - Mateus Rodrigues Alves; Mateus de Oliveira Oliveira; Janio Carlos Nascimento Silva; Uéverton dos Santos Souza (Theor. Comput. Sci., 2021)