DPO (dynamic-programming optimizer)

DPO runs in two phases:

• The planning phase constructs a project-join tree for an XOR-CNF formula.
• The execution phase computes the maximum and a maximizer from the constructed join tree.

---

Cloning this repository

git clone https://github.com/vuphan314/DPO

---

Files

• Dir lg/: DPO's planner
• Dir dmc/: DPO's executor
• Dir eval/: empirical evaluation

---

Acknowledgment

• ADDMC: Dudek, Phan, Vardi
• BIRD: Soos, Meel
• Cachet: Sang, Beame, Kautz
• CryptoMiniSat: Soos
• CUDD package: Somenzi
• CUDD visualization: Kebo
• cxxopts: Beck
• DPMC: Dudek, Phan, Vardi
• FlowCutter: Strasser
• htd: Abseher, Musliu, Woltran
• miniC2D: Oztok, Darwiche
• Model Counting Competition: Hecher, Fichte
• SlurmQueen: Dudek
• Sylvan: van Dijk
• Tamaki: Tamaki
• TensorOrder: Dudek, Duenas-Osorio, Vardi
• WAPS: Gupta, Sharma, Roy, Meel