Parikh-Equivalent Bounded Underapproximations

Pierre Ganty Rupak Majumdar Benjamin Monmege

Published in: CoRR (2008)

Keyphrases

information systems
hidden markov models
knowledge base
decision trees
multi agent
user interface
np hard