Mateus de Oliveira Oliveira
Identifiers
- name variant Mateus de Oliveira Oliveira 0.60 · backfill
Papers (8)
- State Canonization and Early Pruning in Width-Based Automated Theorem Proving cs.DS · 2026 · author #1
- A Near-Quadratic Lower Bound for the Size of Quantum Circuits of Constant Treewidth cs.CC · 2016 · author #1
- An Algorithmic Metatheorem for Directed Treewidth cs.DS · 2014 · author #1
- On the Satisfiability of Quantum Circuits of Small Treewidth cs.CC · 2014 · author #1
- Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic cs.LO · 2014 · author #1
- Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs cs.CC · 2013 · author #1
- Canonizable Partial Order Generators and Regular Slice Languages cs.FL · 2010 · author #1
- Embezzlement States are Universal for Non-Local Strategies quant-ph · 2010 · author #1
Mentions
Frequent Coauthors
- Sam Urmian 1 shared papers