πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space

@inproceedings{Minato2011DDAN,
  title={πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space},
  author={Shin-ichi Minato},
  booktitle={SAT},
  year={2011}
}
Permutations and combinations are two basic concepts in elementary combinatorics. Permutations appear in various problems such as sorting, ordering, matching, coding and many other real-life situations. While conventional SAT problems are discussed in combinatorial space, “permutatorial” SAT and CSPs also constitute an interesting and practical research topic. In this paper, we propose a new type of decision diagram named “πDD,” for compact and canonical representation of a set of permutations… CONTINUE READING