Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Browse the full KR paper archive.