Session Multiset_Ordering_NPC
View
theory dependencies
View
document
View
outline
Theories
Multiset_Ordering_More
Propositional_Formula
Multiset_Ordering_in_NP
Multiset_Ordering_NP_Hard
RPO_NP_Hard