Directed hypergraphs and Horn minimization.

Kristóf Bérczi Erika R. Bérczi-Kovács

Published in: Inf. Process. Lett. (2017)

Keyphrases

np hard
objective function
horn theories
propositional logic
database systems
regularization term
databases
computer vision
evolutionary algorithm
special case
functional dependencies
geometric interpretation
canonical representation
convex minimization