Mateus Rodrigues Alves

According to our database, Mateus Rodrigues Alves authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

2020

Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity.

Mateus Rodrigues Alves, Mateus de Oliveira Oliveira, Janio Carlos Nascimento Silva, Uéverton dos Santos Souza

Proceedings of the Computing and Combinatorics - 26th International Conference, 2020