Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar. A Method to Avoid Duplicative Flipping in Local Search for SAT. In Michael Thielscher, Dongmo Zhang, editors, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings. Volume 7691 of Lecture Notes in Computer Science, pages 218-229, Springer, 2012. [doi]
Abstract is missing.