C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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