Assertion list
decision problem (subgroup of problem ) → ReceivesAction
Results from Ascent++: 2
decision problem → ReceivesAction → solved in polynomial time 0.84
decision problem → ReceivesAction → solved by a turing machine 0.41