The Golem Horn Solver.

Martin Blicha Konstantin Britikov Natasha Sharygina

Published in: CAV (2) (2023)

Keyphrases

np hard
propositional logic
constraint solving
horn theories
neural network
support vector
databases
website
decision trees
special case
logic programs
constraint satisfaction
knowledge compilation
constraint solver
quantified boolean formulas