neuppl / rsdd-docs Goto Github PK

Provide explanations of the internal tips and tricks that go into RSDD. These are implementation details that are necessary for understanding and contributing to RSDD, but not necessarily critical for using it.

• Complemented edges
• SDD bottom-up compilation
• BDD bottom-up compilation
• d-DNNF top-down compilation

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