Knowledge compilation suggestions

Hi Bahare, Wenyi Wang, Mehrdad Ghomi
Great job on the page! It is very interesting. I loved the library example. I kind of got confused after DNNF, CNF and other acronyms. You might consider putting in some more examples or theory to explain. Like the other reviewers have mentioned it seems a bit concise considering students of all backgrounds. For example- In this "$i\neq j,Vars(C_{i})\cap Vars(C_{j})=\emptyset$ "- what is ars? Some definitions of the properties would be nice as well.