Login / Signup

Entailment of Atomic Set Constraints is PSPACE-Complete.

Joachim NiehrenMartin MüllerJean-Marc Talbot
Published in: LICS (1999)
Keyphrases
  • np complete
  • pspace complete
  • hidden markov models
  • probability distribution
  • database
  • model checking
  • convex hull