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