SAT-Based Subsumption Resolution.

Robin Coutelier Laura Kovács Michael Rawson Jakob Rath

Published in: CoRR (2024)

Keyphrases

description logics
sat solvers
answer set programming
low resolution
high resolution
image resolution
np complete
orders of magnitude
planning problems
constraint solver
data sets
super resolution
higher resolution
clause learning
bounded model checking
consequence finding