Choiceless Polynomial Time with Witnessed Symmetric Choice

Moritz Lichter, Pascal Schweitzer. Choiceless Polynomial Time with Witnessed Symmetric Choice. Journal of the ACM, 71(2), April 2024. [doi]

Abstract

Abstract is missing.