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.
git clone https://github.com/vuphan314/DPO
- 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