Mateus Rodrigues Alves, Mateus de Oliveira Oliveira, Janio Carlos Nascimento Silva, Uéverton dos Santos Souza. Succinct certification of monotone circuits. Theoretical Computer Science, 889:1-13, 2021. [doi]
@article{AlvesOSS21,
title = {Succinct certification of monotone circuits},
author = {Mateus Rodrigues Alves and Mateus de Oliveira Oliveira and Janio Carlos Nascimento Silva and Uéverton dos Santos Souza},
year = {2021},
doi = {10.1016/j.tcs.2021.07.032},
url = {https://doi.org/10.1016/j.tcs.2021.07.032},
researchr = {https://researchr.org/publication/AlvesOSS21},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {889},
pages = {1-13},
}