Inference methods for a pseudo-boolean satisfiability
                   solver

BibTex:
Research Area:	Uncategorized	Year:	2002
Type of Publication:	In Proceedings
Authors:	Dixon, H. Ginsberg, M.

Book title:	Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02)
Pages:	635-640




@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", }
[Bibtex] [RIS] [MODS]

COST FUNCTION