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

Roberto Sebastiani, Michele Vescovi

Browse the full SAT paper archive.