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 " "- what is ars? Some definitions of the properties would be nice as well.