Technical overview: What is knowledge compilation?

[SHoltzen]

Include a technical overview of the major components of the library, with the goal of bringing a new user up to speed in what the core data-structures, algorithms, and capabilities of the library are. The goal of this section is not necessarily to be a "how to use RSDD"; it's more a "What is knowledge compilation"?

These sections should include references to academic literature and books, and serve to orient the learner in this area. None of this is specific to RSDD.

Subsections:

• What is the goal of knowledge compilation?
  • Bottom-up vs top-down compilation
  • Queries
  • Operations
• The core data structures: BDDs, SDDs, d-DNNF
• Applications of knowledge compilation
  • Probabilistic inference
  • model checking
• Heuristics and semi-automation
  • Variable ordering heuristics: min-fill, interaction graphs
  • d-Trees and CNF decomposition