Inference methods for a pseudo-boolean satisfiability solver (2002)

by Heidi E Dixon Matthew L Ginsberg
Venue:In Proceedings of The Eighteenth National Conference on Artificial Intelligence (AAAI-2002