Počet záznamů: 1
Lifting with simple gadgets and applications to circuit and proof complexity
- 1.DE REZENDE, Susanna F., MEIR, O., NORSTRÖM, J., PITASSI, T., ROBERE, R., VINYALS, M. Lifting with simple gadgets and applications to circuit and proof complexity. In: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science. Los Alamitos: IEEE, 2020, s. 24-30. ISBN 978-1-7281-9622-0. Dostupné z: doi: 10.1109/FOCS46700.2020.00011.
Počet záznamů: 1