Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.

Alvaro del Val

Browse the full KR paper archive.