A Collapsible Polynomial Hierarchy for Promise Problems.

Chirag Falor Shu Ge Anand Natarajan

Published in: CoRR (2023)

Keyphrases

polynomial hierarchy
answer sets
computational complexity
data model
logic programs