Login / Signup

What's up with downward collapse: using the easy-hard technique to link Boolean and polynomial hierarchy collapses.

Edith HemaspaandraLane A. HemaspaandraHarald Hempel
Published in: SIGACT News (1998)
Keyphrases
  • polynomial hierarchy
  • disjunctive logic programming
  • boolean functions
  • answer sets
  • machine learning
  • worst case