The ELDARICA Horn Solver.

Hossein Hojjat Philipp Rümmer

Published in: FMCAD (2018)

Keyphrases

np hard
constraint solver
horn theories
neural network
propositional logic
database
data mining
social networks
computer vision
decision making
knowledge base
data structure
knowledge compilation
horn logic