Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\mathcal{ALC}$ (Q5756583)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ \mathcal{ALC}