ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses.

Florian Frohn Jürgen Giesl

Published in: SAS (2023)

Keyphrases

horn clauses
clause learning
sat solvers
first order logic
inference rules
logic programs
inductive logic programming
database queries
propositional satisfiability
satisfiability problem
search algorithm
answer sets