11.1.
1. . / . , . , . . ‑ .: , 1975. ‑ 535 .
2. .. : . .: , 2003. 232 .
3. . // / . . .1: . ‑ .: , 1981. ‑ . 122-182.
4. . / . , . . ‑ .: , 1982. ‑ 416 .
5. . . / . . . . ‑ .: . - , 1985352 .
6. / . . [ .]. . 2-, . ‑ .: ̻, 2009. ‑ 392 .
7. . . / . . . ‑ .: , 1998. ‑ 420 .
8. . . . : . / . . . ‑ .: , 2003. ‑ 288 .
9. . . ( ) / . . . .: , 2003. ‑ 192 .
10. . . / . . , . . . ‑ .: , 1969. ‑ 368 .
11. . . . .: , 1978.
12. . . / . , . . ‑ .: , 1985. ‑ 512 .
13. .. . . . / .. , .. . ‑ .:, 2005. 320 c.
14. . . / . . . ‑ : , 1988. ‑ 472 .
15. . . : , , / . . , . . ‑ .: . ‑ 2003. ‑ 264 .
16. . . / . . , . . ‑ : , 2007. ‑ 304 .
17. .. / .. , .. . .: , 1975. 256 .
18. . . / . . // . ‑ 2006. ‑ 2. ‑ . 28-41.
19. . . () / . . // . ‑ 2007. ‑ 4. ‑ . 102-118.
20. . . / . . // . ‑ 2007. ‑ . 22. ‑ C. 21-36.
21. . . / . . // . ‑ 2007. ‑ 1. ‑ . 24-39.
|
|
22. . . / . . // . ‑ 2008. ‑ . 48, N 1. ‑ . 161177.
11.2.
23. . / . . ‑ .: - . ., 1960. ‑ 400 .
24. . . , , / . . , . . , . . ‑ .: , 1981. ‑ 344 .
25. .. / .. , .. . ‑ .: , 1981. ‑ 208 .
26. . : . 2 .: . . / . , . ‑ .: , 2006. ‑ 1408 .
27. .. / .. , .. // . ‑ : , 2006. ‑ . 47-59.
28. . ., . ., . . . / . . , . . , . . . .: , 2000. ‑ 354 .
29. . . / . . . ‑ .: , 1987. ‑ 32 .
30. .. / .. . ‑ .: . ‑ 1995. ‑ 192 .
31. Bertele U. Nonserial Dynamic Programming / U. Bertele, F. Brioschi. ‑ New York: Academic Press, 1972. ‑ 235 p.
32. Cook S. A. The complexity of theorem-proving procedures // Proc. 3rd Ann. ACM Symp. on Theory of Computing Machinery / S. A. Cook. ‑ New York. ‑ 1971. ‑ P. 151-158.
33. Dechter R. Constraint Processing / R. Dechter. ‑ Morgan Kaufmann, 2003. ‑ 481 p.
34. Dolk D. Model management and structured modeling: The role of an information resource dictionary system / D. Dolk // Comm. Acm. 1988. ‑ 31 (6). ‑ P. 704-718.
35. Dolk D. Integrated model management in the data warehouse era / D. Dolk // EJOR. 2000. ‑ 122, N2. ‑ P. 199-218.
36. Fourer R. AMPL, A Modeling Language for Mathematical Programming, Second Edition / R. Fourer, D. Gay, B. Kernighan. ‑ Belmont: Duxburry Press, 2003. 517 p.
37. Fourer R. Optimization as an Internet resource / R. Fourer, J. Goux // Interfaces. 2001. ‑ 31, N2. ‑ P.130-150.
38. Golumbic M. C. Algorithmic Graph Theory and Perfect Graphs / M. C. Golumbic. ‑ New York: Academic Press, 1980. ‑ 284 p.
39. Gu J. Algorithms for the satisfiability (SAT) problem: A survey / J. Gu, P. W. Purdom, J. Franco, B. W. Wah // Satisfiability Problem Theory and Applications. ‑ 1997. ‑ P. 19-153.
40. de Werra D. Introduction to timetabling / D. de Werra // European Journal of Operational Research. ‑ 1985. ‑ V.19. ‑ P. 151-162.