Original languageEnglish
Pages72:1-72:13
Number of pages13
DOIs
StatePublished - 21 Aug 2023
Event48th International Symposium on Mathematical Foundations of Computer Science - Bordeaux, France, Bordeaux, France
Duration: 28 Aug 20231 Sep 2023
Conference number: 48
https://mfcs2023.labri.fr

Conference

Conference48th International Symposium on Mathematical Foundations of Computer Science
Abbreviated titleMFCS 2023
Country/TerritoryFrance
CityBordeaux
Period28/08/231/09/23
Internet address

    Research areas

  • OBDD, Proof complexity, depth of proofs, lower bounds

ID: 108517146