A New Method for Knowledge Compilation: The Achievement by Cycle Search.

Olivier Roussel, Philippe Mathieu

Browse the full CADE paper archive.