An Adaptive Prefix-Assignment Technique for Symmetry Reduction
Keyword(s):
2004 ◽
Vol 30
(6)
◽
pp. 403-417
◽
Keyword(s):
2003 ◽
Vol 59
(2)
◽
pp. 172-182
◽
Keyword(s):
1973 ◽
Vol 46
(12)
◽
pp. 3681-3685
◽
2007 ◽
Vol 13
(6)
◽
pp. 641-655
◽