C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
First-Order Subsumption via SAT Solving.
Jakob Rath
Armin Biere
Laura Kovács
Published in:
FMCAD (2022)
Keyphrases
</>
sat solving
sat solvers
description logics
sat problem
boolean satisfiability
first order logic
np complete
boolean optimization
reinforcement learning
evolutionary algorithm
max sat
search tree
randomly generated
horn clauses
sat instances