On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization.

Federico Heras, Vasco Manquinho, Joo Marques-Silva

Browse the full FlAIRS paper archive.