Mateus de Oliveira Oliveira
8 papers · 2020–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(15)
🏆
Keyword Champion
(2)
Top co-authors
Research topics
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