Lengning Liu, Miroslaw Truszczynski. Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. pages 98-103, AAAI Press, 2006.
Abstract is missing.