TY  - RPRT
TI  - Choiceless Polynomial Time with Witnessed Symmetric Choice
AU  - Moritz Lichter
AU  - Pascal Schweitzer
PY  - 2023
UR  - https://arxiv.org/abs/2205.14003
ID  - 2205.14003
ER  -