@conference{Dixon02,
author = "H. Dixon and M. Ginsberg",
booktitle = "Proceedings of the Eighteenth National Conference on
                   Artificial Intelligence (AAAI-02)",
pages = "635-640",
title = "{I}nference methods for a pseudo-boolean satisfiability
                   solver",
year = "2002",
}