Constrained Uniform Sampling, d-DNNF, equivalence, Induction Models, knowledge compilation, Mathematical Induction, reduction, SAT solving.