PBS: A backtrack search pseudo Boolean solver (2002)

by Fadi A. Aloul , Arathi Ramani , Igor L. Markov , Karem A. Sakallah
Venue:In Symposium on the theory and applications of satisfiability testing (SAT
Citations:82 - 1 self