Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.

Olivier Roussel, Philippe Mathieu

Browse the full CADE paper archive.