An Empirical Evaluation of Knowledge Compilation by Theory Approximation.

Henry A. Kautz, Bart Selman

Browse the full AAAI paper archive.