PPaperPicks

Mateus de Oliveira Oliveira

3 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2IJCAI ×1

Papers

  1. Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth
    AAAI 2025 · Mateus de Oliveira Oliveira
  2. Symbolic Functional Decomposition: A Reconfiguration Approach
    AAAI 2025 · Mateus de Oliveira Oliveira
  3. Optimal Extended Formulations from Optimal Dynamic Programming Algorithms
    IJCAI 2024 · Mateus de Oliveira Oliveira