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

by Heidi E. Dixon , Matthew L. Ginsberg
Citations:42 - 2 self