A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints

John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham. A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. In Bob McKay, John K. Slaney, editors, AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings. Volume 2557 of Lecture Notes in Computer Science, pages 603-614, Springer, 2002. [doi]

Authors

John Thornton

This author has not been identified. Look up 'John Thornton' in Google

Stuart Bain

This author has not been identified. Look up 'Stuart Bain' in Google

Abdul Sattar

This author has not been identified. Look up 'Abdul Sattar' in Google

Duc Nghia Pham

This author has not been identified. Look up 'Duc Nghia Pham' in Google