Keyword:NP-complete

Papers
On the Tractability of Un/Satisfiability Latif Salum EasyChair Preprint no. 1734
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska In:UNIF 2013. 27th International Workshop on Unification