Separability by Piecewise Testable Languages is PTime-Complete.

Tomás Masopust

Published in: CoRR (2017)

Keyphrases

expressive power
multi lingual
data sets
satisfiability problem
language independent
database
databases
artificial intelligence
conjunctive queries
propositional variables