Higher-Order MSL Horn Constraints.

Jerome Jochems Eddie Jones Steven J. Ramsay

Published in: CoRR (2022)

Keyphrases

higher order
pairwise
np hard
natural images
neural network
high order
propositional logic
knowledge base
computational complexity
constraint satisfaction