Finite Horn Monoids and Near-Semirings.

Christian Antic

Published in: CoRR (2020)

Keyphrases

np hard
constraint satisfaction problems
finite number
database
lower bound
finite automata
containment of conjunctive queries
data mining
propositional logic
horn theories