共 50 条
- [3] CROSSING NUMBER IS NP-COMPLETE SIAM JOURNAL ON ALGEBRAIC AND DISCRETE METHODS, 1983, 4 (03): : 312 - 316
- [6] Protocol insecurity with finite number of sessions is NP-complete 14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 174 - 187