.


:




:

































 

 

 

 


. 11.1.

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.

 



<== | ==>
| - .
:


: 2016-12-29; !; : 317 |


:

:

- , - .
==> ...

1687 - | 1608 -


© 2015-2024 lektsii.org - -

: 0.015 .