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.

• J. Santos and V. M. Manquinho. Learning Techniques for Pseudo-Boolean Solving. LPAR Workshops 2008.
• 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.
• 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.