πDD : A New Decision Diagram for Efficient Problem Solving in Permutation Space
収録刊行物
-
- Proc. 14th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2011)
-
Proc. 14th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2011) 90-104, 2012