Login / Signup
Entailment of Atomic Set Constraints is PSPACE-Complete.
Joachim Niehren
Martin Müller
Jean-Marc Talbot
Published in:
LICS (1999)
Keyphrases
</>
np complete
pspace complete
hidden markov models
probability distribution
database
model checking
convex hull