Propositional Fragments for Knowledge Compilation and Quantified

Transcription

Propositional Fragments for Knowledge Compilation and Quantified