Federico Heras, Vasco M. Manquinho, João Marques-Silva. On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. In David Wilson, H. Chad Lane, editors, Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA. pages 71-76, AAAI Press, 2008.
Abstract is missing.