@misc {IOPORT.70253150,
    author       = {Ishtaiwi, Abdelraouf and Thornton, John and Sattar, Abdul},
    title        = {Weight redistribution for unweighted Max-SAT},
    howpublished = {Australian Conference on Artificial Intelligence, 687-693 (2007).},
    year         = {2007},
    doi          = {10.1007/978-3-540-76928-6_76},
    identifier   = {70253150},
}