The following pages link to Alexis Maciel (Q696976):
Displayed 10 items.
- Threshold circuits of small majority-depth (Q1273878) (← links)
- Upper and lower bounds for some depth-3 circuit classes (Q1377575) (← links)
- Programs over semigroups of dot-depth one (Q1575738) (← links)
- Non-automatizability of bounded-depth Frege proofs (Q1764155) (← links)
- Efficient threshold circuits for power series (Q1854292) (← links)
- (Q4281557) (← links)
- (Q4375795) (← links)
- (Q4527041) (← links)
- A new proof of the weak pigeonhole principle (Q5894824) (← links)
- A new proof of the weak pigeonhole principle (Q5895202) (← links)