{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:51:26Z","timestamp":1761663086094},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Autom. Comput."],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11633-012-0664-y","type":"journal-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T08:18:57Z","timestamp":1344413937000},"page":"429-441","source":"Crossref","is-referenced-by-count":35,"title":["Task-resource scheduling problem"],"prefix":"10.1007","volume":"9","author":[{"given":"Anna","family":"Gorbenko","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Popov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,8,9]]},"reference":[{"issue":"3","key":"664_CR1","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/s11633-011-0584-2","volume":"8","author":"J. Arshad","year":"2011","unstructured":"J. Arshad, P. Townend, J. Xu. An automatic intrusion diagnosis approach for clouds. International Journal of Automation and Computing, vol. 8, no. 3, pp. 286\u2013296, 2011.","journal-title":"International Journal of Automation and Computing"},{"issue":"3","key":"664_CR2","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s11633-011-0582-4","volume":"8","author":"Y. K. Guo","year":"2011","unstructured":"Y. K. Guo, L. Guo. IC cloud: Enabling compositional cloud. International Journal of Automation and Computing, vol.8, no. 3, pp. 269\u2013279, 2011.","journal-title":"International Journal of Automation and Computing"},{"issue":"3","key":"664_CR3","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s11633-011-0585-1","volume":"8","author":"B. Li","year":"2011","unstructured":"B. Li, B. Q. Cao, K. M. Wen, R. X. Li. Trustworthy assurance of service interoperation in cloud environment. International Journal of Automation and Computing, vol.8, no. 3, pp. 297\u2013308, 2011.","journal-title":"International Journal of Automation and Computing"},{"issue":"3","key":"664_CR4","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/s11633-011-0583-3","volume":"8","author":"Y. C. Liu","year":"2011","unstructured":"Y. C. Liu, Y. T. Ma, H. S. Zhang, D. Y. Li, G. S. Chen. A method for trust management in cloud computing: Data coloring by cloud watermarking. International Journal of Automation and Computing, vol. 8, no. 3, pp. 280\u2013285, 2011.","journal-title":"International Journal of Automation and Computing"},{"key":"664_CR5","volume-title":"Above the clouds: A berkeley view of cloud computing. Department of Electrical Engineering and Computer Sciences","author":"M. Armbrust","year":"2009","unstructured":"M. Armbrust, A. Fox, R. Grifth, A. D. Joseph, R. Katz, A. Konwinski, G. Lee, D. Patterson, A. Rabkin, I. Stoica, M. Zaharia. Above the clouds: A berkeley view of cloud computing. Department of Electrical Engineering and Computer Sciences, Technical report, University of California at Berkeley, USA, 2009."},{"key":"664_CR6","first-page":"24","volume-title":"Proceedings of the 1st International Conference on Cloud Computing","author":"R. Buyya","year":"2009","unstructured":"R. Buyya, S. Pandey, C. Vecchiola. Cloudbus toolkit for market-oriented cloud computing. In Proceedings of the 1st International Conference on Cloud Computing, ACM, Berlin, Germany, pp. 24\u201344, 2009."},{"issue":"16","key":"664_CR7","doi-asserted-by":"crossref","first-page":"2118","DOI":"10.1002\/cpe.1461","volume":"21","author":"S. Pandey","year":"2009","unstructured":"S. Pandey, W. Voorsluys, M. Rahman, R. Buyya, J. E. Dobson, K. Chiu. A grid workflow environment for brain imaging analysis on distributed systems. Concurrency and Computation: Practice & Experience, vol. 21, no. 16, pp. 2118\u20132139, 2009.","journal-title":"Concurrency and Computation: Practice & Experience"},{"key":"664_CR8","unstructured":"Amazon web services, [Online], Available: http:\/\/aws.amazon.com , February 25, 2011."},{"key":"664_CR9","unstructured":"GoGrid home page, [Online], Available: http:\/\/www.gogrid.com , February 25, 2011."},{"issue":"3","key":"664_CR10","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1016\/S0022-0000(75)80008-0","volume":"10","author":"J. D. Ullman","year":"1975","unstructured":"J. D. Ullman. Np-complete scheduling problems. Journal of Computer and System Sciences, vol. 10, no. 3, pp. 384\u2013393, 1975.","journal-title":"Journal of Computer and System Sciences"},{"key":"664_CR11","first-page":"45","volume-title":"Proceedings of the 8th IEEE International Conference on Advanced Computing and Communications","author":"A. Abraham","year":"2000","unstructured":"A. Abraham, R. Buyya, B. Nath. Nature\u2019s heuristics for scheduling jobs on computational grids. In Proceedings of the 8th IEEE International Conference on Advanced Computing and Communications, IEEE, Piscataway, USA, pp. 45\u201352, 2000."},{"key":"664_CR12","first-page":"209","volume-title":"Proceedings of the 19th Annual International Symposium on High Performance Computing Systems and Application","author":"M. Aggarwal","year":"2005","unstructured":"M. Aggarwal, R. D. Kent, A. Ngom. Genetic algorithm based scheduler for computational grids. In Proceedings of the 19th Annual International Symposium on High Performance Computing Systems and Application, IEEE, Piscataway, USA, pp. 209\u2013215, 2005."},{"key":"664_CR13","first-page":"5","volume-title":"Proceedings of the 37th Annual Hawaii International Conference on System Sciences","author":"K. Amin","year":"2004","unstructured":"K. Amin, G. von Laszewski, M. Hategan, N. J. Zaluzec, S. Hampton, A. Rossi. GridAnt: A client-controllable grid workflow system. In Proceedings of the 37th Annual Hawaii International Conference on System Sciences, IEEE, Piscataway, USA, pp. 5\u20138, 2004."},{"issue":"6","key":"664_CR14","doi-asserted-by":"crossref","first-page":"810","DOI":"10.1006\/jpdc.2000.1714","volume":"61","author":"T. Braun","year":"2001","unstructured":"T. Braun, H. Siegel, N. Beck, L. Boloni, M. Maheswaran, A. Reuther, J. Robertson, M. Theys, B. Yao, D. Hensgen, R. Freund. A comparison of eleven static heuristics for mapping a class of independent tasks onto heterogeneous distributed computing systems. Journal of Parallel and Distributed Computing, vol. 61, no. 6, pp. 810\u2013837, 2001.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"664_CR15","first-page":"198","volume-title":"Proceedings of the 3rd International Symposium on Cluster Computing and the Grid","author":"J. Cao","year":"2003","unstructured":"J. Cao, S. A. Jarvis, S. Saini, G. R. Nudd. Gridflow: Work-flow management for grid computing. In Proceedings of the 3rd International Symposium on Cluster Computing and the Grid, IEEE, Piscataway, USA, pp. 198\u2013205, 2003."},{"issue":"3","key":"664_CR16","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1155\/2005\/128026","volume":"13","author":"E. Deelman","year":"2005","unstructured":"E. Deelman, G. Singh, M. H. Su, J. Blythe, Y. Gil, C. Kesselman, G. Mehta, K. Vahi, G. B. Berriman, J. Good, A. Laity, J. C. Jacob, D. S. Katz. Pegasus: A framework for mapping complex scientific workflows onto distributed systems. Scientific Programming, vol. 13, no. 3, pp. 219\u2013237, 2005.","journal-title":"Scientific Programming"},{"key":"664_CR17","volume-title":"Proceedings of the 2002 ACM\/IEEE Conference on Supercomputing","author":"N. Furmento","year":"2002","unstructured":"N. Furmento, W. Lee, A. Mayer, S. Newhouse, J. Darlington. ICENI: An open grid service architecture implemented with Jini. In Proceedings of the 2002 ACM\/IEEE Conference on Supercomputing, IEEE, Piscataway, USA, 2002."},{"issue":"1","key":"664_CR18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.future.2004.09.033","volume":"21","author":"Y. Gao","year":"2005","unstructured":"Y. Gao, H. Q. Rong, J. Z. Huang. Adaptive grid job scheduling with genetic algorithms. Future Generation Computer Systems, vol. 21, no. 1, pp. 151\u2013161, 2005.","journal-title":"Future Generation Computer Systems"},{"key":"664_CR19","first-page":"406","volume-title":"Proceedings of the 2004 International Conference on Parallel Processing","author":"S. Kim","year":"2004","unstructured":"S. Kim, J. B. Weissman. A genetic algorithm based approach for scheduling decomposable data grid applications. In Proceedings of the 2004 International Conference on Parallel Processing, IEEE, Washington, USA, vol. 1, pp. 406\u2013413, 2004."},{"key":"664_CR20","first-page":"315","volume-title":"Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","author":"Q. Li","year":"2010","unstructured":"Q. Li, Y. Guo. Optimization of resource scheduling in cloud computing. In Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, Timisoara, Romania, pp. 315\u2013320, 2010."},{"issue":"10","key":"664_CR21","doi-asserted-by":"crossref","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B. Lud\u00e4scher","year":"2006","unstructured":"B. Lud\u00e4scher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger, M. Jones, E. A. Lee, J. Tao, Y. Zhao. Scientific workflow management and the kepler system: Research articles. Concurrency and Computation: Practice & Experience, vol. 18, no. 10, pp. 1039\u20131065, 2006.","journal-title":"Concurrency and Computation: Practice & Experience"},{"issue":"5\u20136","key":"664_CR22","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1016\/j.parco.2003.12.004","volume":"30","author":"V. D. Martino","year":"2004","unstructured":"V. D. Martino, M. Mililotti. Sub optimal scheduling in a grid using genetic algorithms. Parallel Computing, vol. 30, no. 5\u20136, pp. 553\u2013565, 2004.","journal-title":"Parallel Computing"},{"issue":"17","key":"664_CR23","doi-asserted-by":"crossref","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T. Oinn","year":"2004","unstructured":"T. Oinn, M. Addis, J. Ferris, D. Marvin, M. Senger, M. Greenwood, T. Carver, K. Glover, M. R. Pocock, A. Wipat, P. Li. Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics, vol. 20, no. 17, pp. 3045\u20133054, 2004.","journal-title":"Bioinformatics"},{"issue":"1","key":"664_CR24","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1019633214895","volume":"115","author":"J. E. Orosz","year":"2002","unstructured":"J. E. Orosz, S. H. Jacobson. Analysis of static simulated annealing algorithm. Journal of Optimization Theory and Applications, vol. 115, no. 1, pp. 165\u2013182, 2002.","journal-title":"Journal of Optimization Theory and Applications"},{"key":"664_CR25","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1109\/AINA.2010.31","volume-title":"Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications","author":"S. Pandey","year":"2010","unstructured":"S. Pandey, L. Wu, S. M. Guru, R. Buyya. A particle swarm optimization-based heuristic for scheduling workflow applications in cloud computing environments. In Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, IEEE, Perth, Australia, pp. 400\u2013407, 2010."},{"issue":"8","key":"664_CR26","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/S0141-9331(02)00053-4","volume":"26","author":"A. Salman","year":"2002","unstructured":"A. Salman. Particle swarm optimization for task assignment problem. Microprocessors and Microsystems, vol. 26, no. 8. pp. 363\u2013371, 2002.","journal-title":"Microprocessors and Microsystems"},{"key":"664_CR27","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/IPDPS.2005.397","volume-title":"Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium","author":"S. Song","year":"2005","unstructured":"S. Song, Y. Kwok, K. Hwang. Security-driven heuristics and a fast genetic algorithm for trusted grid job scheduling. In Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium, IEEE, Piscataway, USA, pp. 65\u201374, 2005."},{"issue":"3","key":"664_CR28","doi-asserted-by":"crossref","first-page":"1930","DOI":"10.1016\/j.ejor.2005.12.024","volume":"177","author":"M. F. Tasgetiren","year":"2007","unstructured":"M. F. Tasgetiren, Y. C. Liang, M. Sevkli, G. Gencyilmaz. A particle swarm optimization algorithm for makespan and total flowtime minimization in the permutation flowshop sequencing problem. European Journal of Operational Research, vol. 177, no. 3, pp. 1930\u20131947, 2007.","journal-title":"European Journal of Operational Research"},{"issue":"9","key":"664_CR29","doi-asserted-by":"crossref","first-page":"1197","DOI":"10.1002\/cpe.901","volume":"17","author":"I. Taylor","year":"2005","unstructured":"I. Taylor, I. Wang, M. Shields, S. Majithia. Distributed computing with Triana on the grid: Research articles. Concurrency and Computation: Practice & Experience, vol. 17, no. 9, pp. 1197\u20131214, 2005.","journal-title":"Concurrency and Computation: Practice & Experience"},{"issue":"1","key":"664_CR30","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.ejor.2004.03.035","volume":"166","author":"E. Triki","year":"2005","unstructured":"E. Triki, Y. Collette, P. Siarry. A theoretical study on the behavior of simulated annealing leading to a new cooling schedule. European Journal of Operational Research, vol. 166, no. 1, pp. 77\u201392, 2005.","journal-title":"European Journal of Operational Research"},{"issue":"1","key":"664_CR31","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1006\/jpdc.1997.1392","volume":"47","author":"L. Wang","year":"1997","unstructured":"L. Wang, H. J. Siegel, V. P. Roychowdhury, A. A. Maciejewski. Task matching and scheduling in heterogeneous computing environments using a genetic-algorithm-based approach. Journal of Parallel and Distributed Computing, vol. 47, no. 1, pp. 8\u201322, 1997.","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"3","key":"664_CR32","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/1084805.1084816","volume":"34","author":"M. Wieczored","year":"2005","unstructured":"M. Wieczored, R. Prodan, T. Fahringer. Scheduling of scientific workflows in the ASKALON grid environment. ACM SIGMOD Record, vol. 34, no. 3, pp. 56\u201362, 2005.","journal-title":"ACM SIGMOD Record"},{"key":"664_CR33","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-540-69277-5_7","volume-title":"Metaheuristics for Scheduling in Distributed Computing Environments","author":"J. Yu","year":"2008","unstructured":"J. Yu, R. Buyya, K. Ramamohanarao. Workflow scheduling algorithms for grid computing. Metaheuristics for Scheduling in Distributed Computing Environments, F. Xhafa, A. Abraham, Eds., Berlin, Germany: Springer-Verlag, pp. 173\u2013214, 2008."},{"issue":"1","key":"664_CR34","doi-asserted-by":"crossref","first-page":"37","DOI":"10.5019\/j.ijcir.2008.123","volume":"4","author":"L. Zhang","year":"2008","unstructured":"L. Zhang, Y. Chen, R. Sun, S. Jing, B. Yang. A task scheduling algorithm based on PSO for grid computing. International Journal of Computational Intelligence Research, vol. 4, no. 1, pp. 37\u201343, 2008.","journal-title":"International Journal of Computational Intelligence Research"},{"key":"664_CR35","first-page":"1","volume-title":"Proceedings of the 5th International Conference on Wireless Communications, Networking and Mobile Computing","author":"C. Zhao","year":"2009","unstructured":"C. Zhao, S. Zhang, Q. Liu, J. Xie, J. Hu. Independent tasks scheduling based on genetic algorithm in cloud computing. In Proceedings of the 5th International Conference on Wireless Communications, Networking and Mobile Computing, IEEE, Beijing, China, pp. 1\u20134, 2009."},{"key":"664_CR36","first-page":"19","volume-title":"Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge","author":"J. Gu","year":"1997","unstructured":"J. Gu, P. Purdom, J. Franco, B. Wah. Algorithms for the satisfiability (SAT) problem: A survey. Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, D. Johnson, M. Trick, Eds., Providence, USA: American Mathematical Society, pp. 19\u2013152, 1997."},{"key":"664_CR37","first-page":"400","volume-title":"Theory and Applications of Satisfiability Testing","author":"C. Bessiere","year":"2003","unstructured":"C. Bessiere, E. Hebrard, T. Walsh. Local consistencies in SAT. Theory and Applications of Satisfiability Testing, E. Giunchiglia, A. Tacchella, Eds., Berlin, Germany: Springer-Verlag, pp. 400\u2013407, 2003."},{"issue":"7","key":"664_CR38","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"M. Davis, G. Logemann, D. Loveland. A machine program for theorem proving. Communications of the ACM, vol.5, no. 7, pp. 394\u2013397, 1962.","journal-title":"Communications of the ACM"},{"key":"664_CR39","first-page":"282","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence","author":"A. Frisch","year":"2001","unstructured":"A. Frisch, T. J. Peugniez. Solving non-boolean satisfiability problems with stochastic local search. In Proceedings of the 17th International Joint Conference on Artificial Intelligence, ACM, Seattle, USA, vol. 1, pp. 282\u2013288, 2001."},{"issue":"1\u20133","key":"664_CR40","first-page":"143","volume":"35","author":"A. Frisch","year":"2005","unstructured":"A. Frisch, T. Peugniez, A. Doggett, P. Nightingale. Solving non-boolean satisfiability problems with stochastic local search: A comparison of encodings. Journal of Automated Reasoning, vol. 35, no. 1\u20133, pp. 143\u2013179, 2005.","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"664_CR41","first-page":"253","volume":"1","author":"K. Iwama","year":"1994","unstructured":"K. Iwama, S. Miyazaki. SAR-variable complexity of hard combinatorial problems. IFIP Transactions A: Computer Science and Technology, vol. 1, no. 1, pp. 253\u2013258, 1994.","journal-title":"IFIP Transactions A: Computer Science and Technology"},{"key":"664_CR42","unstructured":"M. B\u00fcttner, J. Rintanen. Improving parallel planning with constraints on the number of operators. In Proceedings of the 15th International Conference on Automated Planning and Scheduling, Monterey, USA, pp. 292\u2013299, 2005."},{"key":"664_CR43","unstructured":"M. Ernst, T. Millstein, D. Weld. Automatic SATcompilation of planning problems. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, CiteuLike, Nagoya, Japan, pp. 1169\u20131176, 1997."},{"key":"664_CR44","unstructured":"H. Kautz. SATPLAN04: Planning as satisfiability. In Proceedings of the 4th International Planning Competition at the 14th International Conference on Automated Planning and Scheduling, Whistler, Canada, pp. 44\u201345, 2004."},{"key":"664_CR45","first-page":"1","volume-title":"Proceedings of the IEEE Innovations in Information Technology Conference","author":"F. Aloul","year":"2006","unstructured":"F. Aloul, B. Al-Rawi, A. Al-Farra, B. Al-Roh. Solving employee timetabling problems using Boolean satisfiability. In Proceedings of the IEEE Innovations in Information Technology Conference, IEEE, Dubai, pp. 1\u20135, 2006."},{"key":"664_CR46","first-page":"1092","volume-title":"Proceedings of the 12th National Conference on Artificial Intelligence","author":"J. M. Crawford","year":"1994","unstructured":"J. M. Crawford, A. B. Baker. Experimental results on the application of satisfiability algorithms to scheduling problems. In Proceedings of the 12th National Conference on Artificial Intelligence, ACM, Menlo Park, USA, vol.2, pp. 1092\u20131097, 1994."},{"key":"664_CR47","first-page":"697","volume-title":"Proceedings of the 2007 International Conference on Computational Science and Its Applications","author":"M. A. Cruz-Ch\u00e1vez","year":"2007","unstructured":"M. A. Cruz-Ch\u00e1vez, R. Rivera-Lopez. A local search algorithm for a SAT representation of scheduling problems. In Proceedings of the 2007 International Conference on Computational Science and Its Applications, ACM, Berlin, Germany, pp. 697\u2013709, 2007."},{"key":"664_CR48","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1109\/ICCD.2002.1106801","volume-title":"Proceedings of the 2002 IEEE International Conference on Computer Design: VLSI in Computers and Processors","author":"S. O. Memik","year":"2002","unstructured":"S. O. Memik, F. Fallah. Accelerated SAT-based scheduling of control\/data flow graphs. In Proceedings of the 2002 IEEE International Conference on Computer Design: VLSI in Computers and Processors, IEEE, Freiburg, Germany, pp. 395\u2013400, 2002."},{"key":"664_CR49","first-page":"1","volume-title":"Proceedings of the 4th IEEE GCC Conference","author":"A. Wasfy","year":"2007","unstructured":"A. Wasfy, F. Aloul. Solving the university class scheduling problem using advanced ILP techniques. In Proceedings of the 4th IEEE GCC Conference, IEEE, Piscataway, USA, pp. 1\u20135, 2007."},{"key":"664_CR50","first-page":"296","volume-title":"Proceedings of the 16th International Joint Conference on Artificial Intelligence","author":"H. H. Hoos","year":"1999","unstructured":"H. H. Hoos. SAT-encodings, search space structure, and local search performance. In Proceedings of the 16th International Joint Conference on Artificial Intelligence, ACM, Stockholm, Sweden, vol. 1, pp. 296\u2013302, 1999."},{"issue":"3","key":"664_CR51","first-page":"176","volume":"38","author":"A. Gorbenko","year":"2011","unstructured":"A. Gorbenko, M. Mornev, V. Popov. Planning a typical working day for indoor service robots. IAENG International Journal of Computer Science, vol. 38, no. 3, pp. 176\u2013182, 2011.","journal-title":"IAENG International Journal of Computer Science"},{"issue":"3","key":"664_CR52","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1504\/IJAAC.2011.042855","volume":"5","author":"A. Gorbenko","year":"2011","unstructured":"A. Gorbenko, M. Mornev, V. Popov, A. Sheka. The problem of sensor placement for triangulation-based localisation. International Journal of Automation and Control, vol.5, no. 3, pp. 245\u2013253, 2011.","journal-title":"International Journal of Automation and Control"},{"issue":"14","key":"664_CR53","first-page":"689","volume":"6","author":"A. Gorbenko","year":"2012","unstructured":"A. Gorbenko, V. Popov. On the problem of placement of visual landmarks. Applied Mathematical Sciences, vol.6, no. 14, pp. 689\u2013696, 2012.","journal-title":"Applied Mathematical Sciences"},{"key":"664_CR54","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1007\/978-94-007-1839-5_105","volume-title":"Computer, Informatics, Cybernetics and Applications","author":"A. Gorbenko","year":"2012","unstructured":"A. Gorbenko, V. Popov, A. Sheka. Localization on discrete grid graphs. Computer, Informatics, Cybernetics and Applications, X. He, E. Hua, Y. Lin, X. Liu, Eds., Berlin, Germany: Springer-Verlag, pp. 971\u2013978, 2012."},{"key":"664_CR55","unstructured":"A toolbox for Matlab TORSCHE Scheduling, [Online], Available: http:\/\/rtime.felk.cvut.cz\/schedulingtoolbox\/manual\/ , February 26, 2012."},{"key":"664_CR56","first-page":"239","volume-title":"Matlab \u2014 Modelling, Programming and Simulations","author":"M. Kutil","year":"2010","unstructured":"M. Kutil, P. Sucha, R. Capek, Z. Hanzalek. Optimization and scheduling toolbox. Matlab \u2014 Modelling, Programming and Simulations, E. P. Leite, Ed., Rijeka, Croatia: Sciyo, pp. 239\u2013260, 2010."},{"issue":"1","key":"664_CR57","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0166-218X(83)90012-4","volume":"5","author":"J. Blazewicz","year":"1983","unstructured":"J. Blazewicz, J. K. Lenstra, A. H. G. Rinnooy Kan. Scheduling subject to resource constraints: Classification and complexity. Discrete Applied Mathematics, vol. 5, no. 1, pp. 11\u201324, 1983.","journal-title":"Discrete Applied Mathematics"},{"issue":"2","key":"664_CR58","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0167-5060(08)70356-X","volume":"5","author":"R. L. Graham","year":"1979","unstructured":"R. L. Graham, E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooy Kan. Optimization and approximation in deterministic sequencing and scheduling: A survey. Annals of Discrete Mathematics, vol. 5, no. 2, pp. 287\u2013326, 1979.","journal-title":"Annals of Discrete Mathematics"},{"key":"664_CR59","unstructured":"zChaff SAT solver, [Online], Available: http:\/\/www.princeton.edu\/~chaff\/zchaff.html , February 26, 2012."},{"key":"664_CR60","unstructured":"Amazon CloudFront, [Online], Available: http:\/\/aws.amazon.com\/cloudfront\/ , February 26, 2012."},{"key":"664_CR61","unstructured":"Amazon Elastic Compute Cloud (Amazon EC2), [Online], Available: http:\/\/aws.amazon.com\/ec2\/ , February 26, 2012."},{"key":"664_CR62","unstructured":"Web page \u201cComputational resources of IMM UB RAS\u201d, [Online], Available: http:\/\/parallel.imm.uran.ru\/mvcnow\/hardware\/supercomp.htm , February 26, 2012. (In Russian)"},{"issue":"34","key":"664_CR63","first-page":"1679","volume":"5","author":"A. Gorbenko","year":"2011","unstructured":"A. Gorbenko, A. Lutov, M. Mornev, V. Popov. Algebras of stepping motor programs. Applied Mathematical Sciences, vol. 5, no. 34, pp. 1679\u20131692, 2011.","journal-title":"Applied Mathematical Sciences"},{"key":"664_CR64","doi-asserted-by":"crossref","first-page":"1289","DOI":"10.1007\/978-94-007-1839-5_139","volume-title":"Computer, Informatics, Cybernetics and Applications","author":"A. Gorbenko","year":"2012","unstructured":"A. Gorbenko, V. Popov. Self-learning algorithm for visual recognition and object categorization for autonomous mobile robots. Computer, Informatics, Cybernetics and Applications, X. He, E. Hua, Y. Lin, X. Liu, Eds., Berlin, Germany: Springer-Verlag, pp. 1289\u20131295, 2012."},{"issue":"14","key":"664_CR65","first-page":"675","volume":"6","author":"A. Gorbenko","year":"2012","unstructured":"A. Gorbenko, V. Popov, A. Sheka. Robot self-awareness: Exploration of internal states. Applied Mathematical Sciences, vol. 6, no. 14, pp. 675\u2013688, 2012.","journal-title":"Applied Mathematical Sciences"},{"issue":"3","key":"664_CR66","first-page":"169","volume":"19","author":"A. Gorbenko","year":"2011","unstructured":"A. Gorbenko, V. Popov, A. Sheka. Robot self-awareness: Temporal relation based data mining. Engineering Letters, vol. 19, no. 3, pp. 169\u2013178, 2011.","journal-title":"Engineering Letters"},{"key":"664_CR67","unstructured":"SATLIB \u2014 The Satisfiability Library, [Online], Available: http:\/\/people.cs.ubc.ca\/~hoos\/SATLIB\/index-ubc.html , February 26, 2012."},{"issue":"2","key":"664_CR68","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1162\/evco.2006.14.2.223","volume":"14","author":"F. Lardeux","year":"2006","unstructured":"F. Lardeux, F. Saubion, J. K. Hao. GASAT: A genetic local search algorithm for the satisfiability problem. Evolutionary Computation, vol. 14, no. 2, pp. 223\u2013253, 2006.","journal-title":"Evolutionary Computation"}],"container-title":["International Journal of Automation and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-012-0664-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11633-012-0664-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11633-012-0664-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T18:46:42Z","timestamp":1559414802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11633-012-0664-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":68,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["664"],"URL":"https:\/\/doi.org\/10.1007\/s11633-012-0664-y","relation":{},"ISSN":["1476-8186","1751-8520"],"issn-type":[{"value":"1476-8186","type":"print"},{"value":"1751-8520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8]]}}}