A Lower Bound for Polynomial Calculus with Extension Rule

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Язык оригиналаанглийский
Название основной публикации36th Computational Complexity Conference (CCC 2021)
РедакторыValentine Kabanets
Место публикацииDagstuhl, Germany
ИздательSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Страницы21:1-21:18
Том200
ISBN (печатное издание)978-3-95977-193-1
DOI
СостояниеОпубликовано - 2021
Событие36th Computational Complexity Conference, CCC 2021 - Virtual, Toronto, Канада
Продолжительность: 20 июл 202123 июл 2021

Серия публикаций

НазваниеLeibniz International Proceedings in Informatics (LIPIcs)
ИздательSchloss Dagstuhl -- Leibniz-Zentrum für Informatik

конференция

конференция36th Computational Complexity Conference, CCC 2021
Страна/TерриторияКанада
ГородVirtual, Toronto
Период20/07/2123/07/21

Цитировать