Highly Influenced

@inproceedings{Minato2011DDAN, title={πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space}, author={Shin-ichi Minato}, booktitle={SAT}, year={2011} }

- Published 2011 in SAT
DOI:10.1007/978-3-642-21581-0_9

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

### Presentations referencing similar topics