De Oliveira Oliveira, Mateus

8 publications

AAAI 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth Mateus de Oliveira Oliveira

AAAI 2025 Symbolic Functional Decomposition: A Reconfiguration Approach Mateus de Oliveira Oliveira, Wim Van den Broeck

IJCAI 2024 Optimal Extended Formulations from Optimal Dynamic Programming Algorithms Mateus de Oliveira Oliveira, Wim Van den Broeck

AAAI 2023 From Width-Based Model Checking to Width-Based Automated Theorem Proving Mateus de Oliveira Oliveira, Farhad Vadiee

AAAI 2023 Synchronization and Diversity of Solutions Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf

IJCAI 2021 Diversity in Kemeny Rank Aggregation: A Parameterized Approach Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf

ICML 2021 Unitary Branching Programs: Learnability and Lower Bounds Fidel Ernesto Diaz Andino, Maria Kokkou, Mateus De Oliveira Oliveira, Farhad Vadiee

IJCAI 2020 Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory Julien Baste, Michael R. Fellows, Lars Jaffke, Tomás Masarík, Mateus de Oliveira Oliveira, Geevarghese Philip, Frances A. Rosamond