SAT-Based Subsumption Resolution.

Robin Coutelier Laura Kovács Michael Rawson Jakob Rath

Published in: CADE (2023)

Keyphrases

high resolution
description logics
np complete
answer set programming
ai planning
bounded model checking
consequence finding
sat solvers
artificial intelligence
high quality
logic programming
orders of magnitude