Alexis Maciel

Publication Activity (10 Years)

Years Active: 1993-2014
Publications (10 Years): 0

Top Topics

Tree Structures

Objective Function

Top Venues

Comput. Complex.

Publications

Alexis Maciel, Phuong Nguyen, Toniann Pitassi
Lifting lower bounds for tree-like proofs. Comput. Complex. 23 (4) (2014)
Alexis Maciel, Toniann Pitassi
Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives. LICS (2006)
Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi
Non-Automatizability of Bounded-Depth Frege Proofs. Comput. Complex. 13 (1-2) (2004)
Alexis Maciel, Toniann Pitassi, Alan R. Woods
A New Proof of the Weak Pigeonhole Principle. J. Comput. Syst. Sci. 64 (4) (2002)
Alexis Maciel, Toniann Pitassi, Alan R. Woods
A new proof of the weak pigeonhole principle. STOC (2000)
Alexis Maciel, Pierre Péladeau, Denis Thérien
Programs over semigroups of dot-depth one. Theor. Comput. Sci. 245 (1) (2000)
Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi
Non-Automatizability of Bounded-Depth Frege Proofs. Computational Complexity Conference (1999)
Alexis Maciel, Denis Thérien
Efficient Threshold Circuits for Power Series. Inf. Comput. 152 (1) (1999)
Richard Beigel, Alexis Maciel
Circuit Lower Bounds Collapse Relativized Complexity Classes. Computational Complexity Conference (1999)
Alexis Maciel, Denis Thérien
Threshold Circuits of Small Majority-Depth. Inf. Comput. 146 (1) (1998)
Richard Beigel, Alexis Maciel
Upper and Lower Bounds for Some Depth-3 Circuit Classes. Computational Complexity Conference (1997)
Alexis Maciel, Toniann Pitassi
] Frege Proofs. STOC (1997)
Richard Beigel, Alexis Maciel
Upper and Lower Bounds for Some Depth-3 Circuit Classes Electron. Colloquium Comput. Complex. 4 (2) (1997)
Richard Beigel, Alexis Maciel
Upper and Lower Bounds for Some Depth-3 Circuit Classes. Comput. Complex. 6 (3) (1997)
Alexis Maciel, Toniann Pitassi
Towards lower bounds for bounded-depth Frege proofs with modular connectives. Proof Complexity and Feasible Arithmetics (1996)
Alexis Maciel, Denis Thérien
Threshold Circuits for Iterated Multiplication: Using AC0 for Free. STACS (1993)