Author: Workshop on Knowledge Compilation and Speedup Learning