Mateus de Oliveira Oliveira

Identifiers

• name variant Mateus de Oliveira Oliveira 0.60 · backfill

Papers (9)

1. State Canonization and Early Pruning in Width-Based Automated Theorem Proving cs.DS · 2026 · author #1
2. From Width-Based Model Checking to Width-Based Automated Theorem Proving cs.DS · 2022 · author #1
3. A Near-Quadratic Lower Bound for the Size of Quantum Circuits of Constant Treewidth cs.CC · 2016 · author #1
4. An Algorithmic Metatheorem for Directed Treewidth cs.DS · 2014 · author #1
5. On the Satisfiability of Quantum Circuits of Small Treewidth cs.CC · 2014 · author #1
6. Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic cs.LO · 2014 · author #1
7. Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs cs.CC · 2013 · author #1
8. Canonizable Partial Order Generators and Regular Slice Languages cs.FL · 2010 · author #1
9. Embezzlement States are Universal for Non-Local Strategies quant-ph · 2010 · author #1

Mentions

• 1402.2698 #1 · backfill · confidence 0.70 Mateus de Oliveira Oliveira
• 1303.4443 #1 · backfill · confidence 0.70 Mateus de Oliveira Oliveira
• 2205.10995 #1 · arxiv_oai · confidence 0.70 Mateus de Oliveira Oliveira
• 1009.5341 #1 · backfill · confidence 0.70 Mateus de Oliveira Oliveira
• 1009.0771 #1 · backfill · confidence 0.70 Mateus de Oliveira Oliveira

Frequent Coauthors

• Sam Urmian 2 shared papers