Author:
Gent Ian P.,Harvey Warwick,Kelsey Tom
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lect Notes Comput Sci;R. Backofen,1999
2. J. C. Beck, P. Prosser, and E. Selensky, On the reformulation of vehicle routing problems and scheduling problems, Tech. Report APES-44-2002, APES Research Group, February 2002.
3. C.A. Brown, L. Finkelstein, and P. W. Purdom, Jr., Backtrack searching in the presence of symmetry, Proc. AAECC-6 (T. Mora, ed.), no. 357, Springer-Verlag, 1988, pp. 99–110.
4. M. Calder and A. Miller, Five ways to use induction and symmetry in the verification of networks of processes by model-checking, Proc. AVoCS, 2002, pp. 29–42.
5. C. H. Colbourn and J. H. Dinitz (eds.), The CRC handbook of combinatorial designs, CRC Press, Rockville, Maryland, USA, 1996.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献