Renato R. Leme

According to our database, Renato R. Leme authored at least 4 papers between 2015 and 2026.

Collaborative distances:

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

2026

Efficient Decision Procedures for RNmatrix Semantics.

Renato R. Leme, Carlos Olarte, Elaine Pimentel

CoRR, May, 2026

2025

Ecumenical Propositional Tableau.

Renato R. Leme, Marcelo Esteban Coniglio, Bruno Lopes, Giorgio Venturi

Stud Logica, April, 2025

The Modal Cube Revisited: Semantics Without Worlds.

Renato R. Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2015

Solving Sokoban Optimally with Domain-Dependent Move Pruning.

Renato R. Leme, André Grahl Pereira, Marcus Ritt, Luciana S. Buriol

Proceedings of the 2015 Brazilian Conference on Intelligent Systems, 2015