Mateus de Oliveira Oliveira
8 papers · 2020–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (3) π Academic Marathon (5) π Cross-Pollinator (11)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(15)
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
Conferences
AAAI (4)
IJCAI (3)
ICML (1)
Top co-authors
Keywords
solution diversity
(2)
fixed-parameter tractable
(2)
dynamic programming
(2)
parameterized complexity
(2)
tree decomposition
(2)
linear programming
(1)
gradient descent
(1)
formal methods
(1)
automated theorem proving
(1)
boolean circuit
(1)
model checking
(1)
partial order
(1)
functional decomposition
(1)
lower bound
(1)
conformant planning
(1)
fixed-parameter tractability
(1)
automata theory
(1)
riemannian manifold
(1)
automated reasoning
(1)
learning theory
(1)
Papers
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth
AAAI 2025
Symbolic Functional Decomposition: A Reconfiguration Approach
AAAI 2025
Optimal Extended Formulations from Optimal Dynamic Programming Algorithms
IJCAI 2024
From Width-Based Model Checking to Width-Based Automated Theorem Proving
AAAI 2023
Synchronization and Diversity of Solutions
AAAI 2023
Diversity in Kemeny Rank Aggregation: A Parameterized Approach
IJCAI 2021
Unitary Branching Programs: Learnability and Lower Bounds
ICML 2021
Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory
IJCAI 2020