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