Keyword:NP-complete

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