Workshop on Knowledge Compilation and Speedup Learning