Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna. Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. In Chittaranjan Hota, Pradip K. Srimani, editors, Distributed Computing and Internet Technology, 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings. Volume 7753 of Lecture Notes in Computer Science, pages 432-443, Springer, 2013. [doi]
Abstract is missing.