The Algorithm Design Manual Second Edition

C++ Programming with the Standard Template Library. Addison-Wesley

Professional, second edition, 2001.

---

B I B L I O G R A P H Y

693

[Meg83]

N. Megiddo. Linear time algorithm for linear programming in r

3

and related

problems. SIAM J. Computing, 12:759–776, 1983.

[Men27]

K. Menger. Zur allgemeinen Kurventheorie. Fund. Math., 10:96–115, 1927.

[Mey01]

S. Meyers. Effective STL: 50 Specific Ways to Improve Your Use of the

Standard Template Library. Addison-Wesley Professional, 2001.

[MF00]

Z. Michalewicz and D. Fogel. How to Solve it: Modern Heuristics. Springer,

Berlin, 2000.

[MG92]

J. Misra and D. Gries. A constructive proof of Vizing’s theorem. Info. Pro-

cessing Letters, 41:131–133, 1992.

[MG06]

J. Matousek and B. Gartner. Understanding and Using Linear Program-

ming. Springer, 2006.

[MGH81]

J. J. Mor´

e, B. S. Garbow, and K. E. Hillstrom. Fortran subroutines for

testing unconstrained optimization software. ACM Trans. Math. Softw.,

7(1):136–140, March 1981.

[MH78]

R. Merkle and M. Hellman. Hiding and signatures in trapdoor knapsacks.

IEEE Trans. Information Theory, 24:525–530, 1978.

[Mie58]

W. Miehle. Link-minimization in networks. Operations Research, 6:232–243,

1958.

[Mil76]

G. Miller. Riemann’s hypothesis and tests for primality. J. Computer and

System Sciences, 13:300–317, 1976.

[Mil97]

V. Milenkovic. Multiple translational containment. part II: exact algorithms.

Algorithmica, 19:183–218, 1997.

[Min78]

H. Minc. Permanents, volume 6 of Encyclopedia of Mathematics and its

Applications. Addison-Wesley, Reading MA, 1978.

[Mit99]

J. Mitchell. Guillotine subdivisions approximate polygonal subdivisions: A

simple polynomial-time approximation scheme for geometric TSP, k-mst,

and related problems. SIAM J. Computing, 28:1298–1309, 1999.

[MKT07]

E. Mardis, S. Kim, and H. Tang, editors. Advances in Genome Sequencing

Technology and Algorithms. Artech House Publishers, 2007.

[MM93]

U. Manber and G. Myers. Suffix arrays: A new method for on–line string

searches. SIAM J. Computing, pages 935–948, 1993.

[MM96]

K. Mehlhorn and P. Mutzel. On the embedding phase of the Hopcroft and

Tarjan planarity testing algorithm. Algorithmica, 16:233–242, 1996.

[MMI72]

D. Matula, G. Marble, and J. Isaacson. Graph coloring algorithms. In

R. C. Read, editor, Graph Theory and Computing, pages 109–122. Academic

Press, 1972.

[MMZ

+

01]

M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: En-

gineering an efficient SAT solver. In 39th Design Automation Conference

(DAC), 2001.

[MN98]

M. Matsumoto and T. Nishimura. Mersenne twister: A 623-dimensionally

equidistributed uniform pseudorandom number generator. ACM Trans. on

Modeling and Computer Simulation, 8:3–30, 1998.

---

694

B I B L I O G R A P H Y

[MN99]

K. Mehlhorn and S. Naher. LEDA: A platform for combinatorial and geo-

metric computing. Cambridge University Press, 1999.

[MN07]

V. Makinen and G. Navarro. Compressed full text indexes. ACM Computing