List of Papers That Use Pseudo-Boolean Benchmarks Based on Model RB

If you know any other paper that should be listed here, please send me an email.

1. Niklas Eén and Niklas Sörensson. Translating Pseudo-Boolean Constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation, Volume 2 (2006), pages 1-26.
2. Hossein M. Sheini and Karem A. Sakallah. Pueblo: A Hybrid Pseudo-Boolean SAT Solver. Journal on Satisfiability, Boolean Modeling and Computation, Volume 2 (2006), pages 165-189.

Back to Page of PB Benchmarks

Back to Ke Xu's Homepage.