A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT

@inproceedings{Pipatsrisawat2003AND,
  title={A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT},
  author={Knot Pipatsrisawat and Adnan Darwiche},
  booktitle={IJCAI},
  year={2003}
}
We present a new algorithm for computing upper bounds for an optimization version of the EMAJSAT problem called functional E-MAJSAT. The algorithm utilizes the compilation language dDNNF which underlies several state-of-the-art algorithms for solving related problems. This bound computation can be used in a branch-and-bound solver for solving functional E-MAJSAT. We then present a technique for pruning values from the branch-and-bound search tree based on the information available after each… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.