Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits

Pago, Benedikt Thomas (Corresponding author)

Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
Contribution to a book, Contribution to a conference proceedings

In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
Page(s)/Article-Nr.: 73:1-73:15

Institutions

  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]