1. Amplifying lower bounds by means of self-reducibility;Allender;J. ACM,2010
2. Succinct certification of monotone circuits;Alves;Theor. Comput. Sci.,2021
3. Succinct monotone circuit certification: planarity and parameterized complexity;Alves,2020
4. Energy-efficient circuit design;Antoniadis,2014
5. Almost all functions require exponential energy;Barcelo,2015