@conference{Zhang03,
author = "A. Rangan and W. Zhang",
address = "Acapulco, Mexico",
booktitle = "ijcai03p",
month = "aug",
note = "To appear",
title = "{B}ackbone {G}uided {L}ocal {S}earch for {M}aximum
                   {S}atisfiability",
year = "2003",
}