Mateus de Oliveira Oliveira
8 papers
· 2020–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π£
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)