Choiceless Polynomial Time with Witnessed Symmetric Choice.

Moritz Lichter, Pascal Schweitzer

Browse the full LICS paper archive.