The Inclusive Relations between Some Subclasses of MU
Xiaoping Xu · 2008
The paper researches into the inclusive relations between the subclasses of Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU and SYM-MU by the satisfiability of the new formulas which some concrete formulas generate after adding or taking out some literals or clauses from them.