Book Chapter10.1007/978-3-642-23418-7_22

The $\mathcal{ALCN}$ Description Logic Concept Satisfiability as a SAT Problem

Adam Meissner-2011-01-01-Studies in computational intelligence

1

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

DPLL algorithmSatisfiabilityComputer scienceBoolean satisfiability problemSet (abstract data type)Theoretical computer scienceAlgorithmMathematics

Chat

Click to start Chat