Adaptive DPLL-Fwd Calculi for Knowledge Compilation, Model Counting & Projection/Forgetting

Date:

Slides