Mateus de Oliveira Oliveira

78 papers A* 10A 4B 17C 6Misc 3Journal 33Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Optimal Extended Formulations from Optimal Dynamic Programming Algorithms. CoRR Mateus de Oliveira Oliveira, Wim Van den Broeck
2026	J	`jnl`	Symbolic Functional Decomposition: A Reconfiguration Approach. CoRR Mateus de Oliveira Oliveira, Wim Van den Broeck
2026	J	`jnl`	Width notions for ordering-related problems. J. Comput. Syst. Sci. Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2025	A*	`conf`	Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth. AAAI Mateus de Oliveira Oliveira
2025	A*	`conf`	Symbolic Functional Decomposition: A Reconfiguration Approach. AAAI Mateus de Oliveira Oliveira, Wim Van den Broeck
2024	J	`jnl`	Learning from positive and negative examples: New proof for binary alphabets. Inf. Process. Lett. Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
2024	A*	`conf`	Optimal Extended Formulations from Optimal Dynamic Programming Algorithms. IJCAI Mateus de Oliveira Oliveira, Wim Van den Broeck
2024	B	`conf`	State Canonization and Early Pruning in Width-Based Automated Theorem Proving. FSCD Mateus de Oliveira Oliveira, Farhad Vadiee
2023	A*	`conf`	From Width-Based Model Checking to Width-Based Automated Theorem Proving. AAAI Mateus de Oliveira Oliveira, Farhad Vadiee
2023	J	`jnl`	Order Reconfiguration under Width Constraints. J. Graph Algorithms Appl. Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2023	A*	`conf`	Synchronization and Diversity of Solutions. AAAI Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2022	J	`jnl`	Computing the zig-zag number of directed graphs. Discret. Appl. Math. Mitre Costa Dourado, Celina M. H. de Figueiredo, Alexsander Andrade de Melo, Mateus de Oliveira Oliveira, Uéverton S. Souza
2022	J	`jnl`	Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory. Artif. Intell. Julien Baste, Michael R. Fellows, Lars Jaffke, Tomás Masarík, Mateus de Oliveira Oliveira, Geevarghese Philip, Frances A. Rosamond
2022	J	`jnl`	From Width-Based Model Checking to Width-Based Automated Theorem Proving. CoRR Mateus de Oliveira Oliveira, Farhad Vadiee
2022	C	`conf`	Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms. IWOCA Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
2022	J	`jnl`	Learning from Positive and Negative Examples: New Proof for Binary Alphabets. CoRR Jonas Lingg, Mateus de Oliveira Oliveira, Petra Wolf
2022	—	`conf`	Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. HSCC Mateus de Oliveira Oliveira, Olga Tveretina
2022	B	`conf`	On the Satisfiability of Smooth Grid CSPs. SEA Vasily Alferov, Mateus de Oliveira Oliveira
2022	J	`jnl`	Second-Order Finite Automata. Theory Comput. Syst. Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
2022	—	`conf`	Synthesis and Analysis of Petri Nets from Causal Specifications. CAV (2) Mateus de Oliveira Oliveira
2021	B	`conf`	Co-Degeneracy and Co-Treewidth: Using the Complement to Solve Dense Instances. MFCS Gabriel L. Duarte, Mateus de Oliveira Oliveira, Uéverton S. Souza
2021	A*	`conf`	Diversity in Kemeny Rank Aggregation: A Parameterized Approach. IJCAI Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf
2021	J	`jnl`	Diversity in Kemeny Rank Aggregation: A Parameterized Approach. CoRR Emmanuel Arrighi, Henning Fernau, Daniel Lokshtanov, Mateus de Oliveira Oliveira, Petra Wolf
2021	J	`jnl`	On Supergraphs Satisfying CMSO Properties. Log. Methods Comput. Sci. Mateus de Oliveira Oliveira
2021	—	`conf`	On the Complexity of Intersection Non-emptiness for Star-Free Language Classes. FSTTCS Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
2021	J	`jnl`	On the Complexity of Intersection Non-emptiness for Star-Free Language Classes. CoRR Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf
2021	J	`jnl`	On the Width of Regular Classes of Finite Structures. CoRR Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
2021	B	`conf`	Order Reconfiguration Under Width Constraints. MFCS Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2021	J	`jnl`	Second-Order Finite Automata. CoRR Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
2021	J	`jnl`	Succinct certification of monotone circuits. Theor. Comput. Sci. Mateus Rodrigues Alves, Mateus de Oliveira Oliveira, Janio Carlos Nascimento Silva, Uéverton dos Santos Souza
2021	B	`conf`	Three Is Enough for Steiner Trees. SEA Emmanuel Arrighi, Mateus de Oliveira Oliveira
2021	A*	`conf`	Unitary Branching Programs: Learnability and Lower Bounds. ICML Fidel Ernesto Diaz Andino, Maria Kokkou, Mateus de Oliveira Oliveira, Farhad Vadiee
2020	B	`conf`	Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach. MFCS Lars Jaffke, Mateus de Oliveira Oliveira, Hans Raj Tiwary
2020	J	`jnl`	Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach. CoRR Lars Jaffke, Mateus de Oliveira Oliveira, Hans Raj Tiwary
2020	A*	`conf`	Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory. IJCAI Julien Baste, Michael R. Fellows, Lars Jaffke, Tomás Masarík, Mateus de Oliveira Oliveira, Geevarghese Philip, Frances A. Rosamond
2020	J	`jnl`	On Supergraphs Satisfying CMSO Properties. CoRR Mateus de Oliveira Oliveira
2020	C	`conf`	On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection. DLT Mateus de Oliveira Oliveira, Michael Wehar
2020	J	`jnl`	Revisiting the parameterized complexity of Maximum-Duo Preservation String Mapping. Theor. Comput. Sci. Christian Komusiewicz, Mateus de Oliveira Oliveira, Meirav Zehavi
2020	Misc	`conf`	Second-Order Finite Automata. CSR Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
2020	Misc	`conf`	Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity. COCOON Mateus Rodrigues Alves, Mateus de Oliveira Oliveira, Janio Carlos Nascimento Silva, Uéverton dos Santos Souza
2020	A*	`conf`	Symbolic Solutions for Symbolic Constraint Satisfaction Problems. KR Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
2020	—	`conf`	Width Notions for Ordering-Related Problems. FSTTCS Emmanuel Arrighi, Henning Fernau, Mateus de Oliveira Oliveira, Petra Wolf
2019	J	`jnl`	Diversity in Combinatorial Optimization. CoRR Julien Baste, Michael R. Fellows, Lars Jaffke, Tomás Masarík, Mateus de Oliveira Oliveira, Geevarghese Philip, Frances A. Rosamond
2019	A	`conf`	On the Width of Regular Classes of Finite Structures. CADE Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
2019	J	`jnl`	Representations of Monotone Boolean Functions by Linear Programs. ACM Trans. Comput. Theory Mateus de Oliveira Oliveira, Pavel Pudlák
2018	A*	`conf`	A Near-Quadratic Lower Bound for the Size of Quantum Circuits of Constant Treewidth. SODA Mateus de Oliveira Oliveira
2018	B	`conf`	A Strongly-Uniform Slicewise Polynomial-Time Algorithm for the Embedded Planar Diameter Improvement Problem. IPEC Daniel Lokshtanov, Mateus de Oliveira Oliveira, Saket Saurabh
2018	B	`conf`	Graph Amalgamation Under Logical Constraints. WG Mateus de Oliveira Oliveira
2018	C	`conf`	Intersection Non-emptiness and Hardness Within Polynomial Time. DLT Mateus de Oliveira Oliveira, Michael Wehar
2018	B	`conf`	On Weak Isomorphism of Rooted Vertex-Colored Graphs. WG Lars Jaffke, Mateus de Oliveira Oliveira
2018	J	`jnl`	Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function. Theory Comput. Syst. Mateus de Oliveira Oliveira
2017	B	`conf`	On Supergraphs Satisfying CMSO Properties. CSL Mateus de Oliveira Oliveira
2017	J	`jnl`	On the Satisfiability of Quantum Circuits of Small Treewidth. Theory Comput. Syst. Mateus de Oliveira Oliveira
2017	B	`conf`	Parameterized Provability in Equational Logic. TABLEAUX Mateus de Oliveira Oliveira
2017	A	`conf`	Representations of Monotone Boolean Functions by Linear Programs. CCC Mateus de Oliveira Oliveira, Pavel Pudlák
2017	J	`jnl`	Representations of Monotone Boolean Functions by Linear Programs. Electron. Colloquium Comput. Complex. Mateus de Oliveira Oliveira, Pavel Pudlák
2017	B	`conf`	Revisiting the Parameterized Complexity of Maximum-Duo Preservation String Mapping. CPM Christian Komusiewicz, Mateus de Oliveira Oliveira, Meirav Zehavi
2016	J	`jnl`	A Near-Quadratic Lower Bound for the Size of Quantum Circuits of Constant Treewidth. CoRR Mateus de Oliveira Oliveira
2016	J	`jnl`	An algorithmic metatheorem for directed treewidth. Discret. Appl. Math. Mateus de Oliveira Oliveira
2016	C	`conf`	Causality in Bounded Petri Nets is MSO Definable. WoLLIC Mateus de Oliveira Oliveira
2016	B	`conf`	Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth. IPEC Mateus de Oliveira Oliveira
2016	A	`conf`	Satisfiability via Smooth Pictures. SAT Mateus de Oliveira Oliveira
2016	A	`conf`	Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function. STACS Mateus de Oliveira Oliveira
2015	B	`conf`	A Slice Theoretic Approach for Embedding Problems on Digraphs. WG Mateus de Oliveira Oliveira
2015	C	`conf`	MSO Logic and the Partial Order Semantics of Place/Transition-Nets. ICTAC Mateus de Oliveira Oliveira
2015	Misc	`conf`	On the Satisfiability of Quantum Circuits of Small Treewidth. CSR Mateus de Oliveira Oliveira
2015	B	`conf`	Reachability in Graph Transformation Systems and Slice Languages. ICGT Mateus de Oliveira Oliveira
2014	J	`jnl`	An Algorithmic Metatheorem for Directed Treewidth. CoRR Mateus de Oliveira Oliveira
2014	J	`jnl`	Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic. CoRR Mateus de Oliveira Oliveira
2014	J	`jnl`	On the Satisfiability of Quantum Circuits of Small Treewidth. CoRR Mateus de Oliveira Oliveira
2013	—	`—`	Combinatorial Slice Theory. Mateus de Oliveira Oliveira
2013	J	`jnl`	Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs CoRR Mateus de Oliveira Oliveira
2013	B	`conf`	Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs. IPEC Mateus de Oliveira Oliveira
2012	C	`conf`	Canonizable Partial Order Generators. LATA Mateus de Oliveira Oliveira
2010	J	`jnl`	Canonizable Partial Order Generators CoRR Mateus de Oliveira Oliveira
2010	J	`jnl`	Hasse Diagram Generators and Petri Nets. Fundam. Informaticae Mateus de Oliveira Oliveira
2009	B	`conf`	Hasse Diagram Generators and Petri Nets. Petri Nets Mateus de Oliveira Oliveira
2005	J	`jnl`	A new refinement procedure for graph isomorphism algorithms. Electron. Notes Discret. Math. Mateus de Oliveira Oliveira, Fabíola Greve