Oliveira, Mateus de Oliveira
- An Algorithmic Metatheorem for Directed Treewidth
2014/10/02 by Mateus de Oliveira Oliveira, Oliveira, Mateus de Oliveira · 1 citation
Computer Science · #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.CC #cs.DS #cs.FL #cs.LO
- Diversity in Kemeny Rank Aggregation: A Parameterized Approach
2021/05/19 by Arrighi, Emmanuel, Fernau, Henning, Lokshtanov, Daniel +2 · 1 citation
#Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
- On the Complexity of Intersection Non-emptiness for Star-Free Language Classes
2021/10/04 by Arrighi, Emmanuel, Fernau, Henning, Hoffmann, Stefan +4 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Learning from Positive and Negative Examples: New Proof for Binary Alphabets
2022/06/20 by Jonas Lingg, Mateus de Oliveira Oliveira, Lingg, Jonas +3 · 1 citation
Computer Science · #semigroups and automata theory #Machine Learning and Algorithms #Computability, Logic, AI Algorithms