Vasco M. Manquinho, João P. Marques Silva. Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. In 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China. pages 150-155, IEEE Computer Society, 2005. [doi]
Abstract is missing.