List of Papers That Use CSP Benchmarks of Model RB


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


  1. Y. Zhang, R.H.C. Yap, S. Shannon, C. Likitvivatanavong, and C. Lecoutre. Maintaining Arc Consistency with Multiple Residues. Constraint Programming Letters, 2007.

  2. D. Mehta and M.R.C. van Dongen. Probabilistic Consistency Boosts MAC and SAC. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'2007).

  3. M.R.C. van Dongen. Beyond Singleton Arc Consistency. Proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI'2006).

  4. C. Lecoutre, L. Sais and J. Vion. Using SAT Encodings to Derive CSP Value Ordering Heuristics. The CP 2006 Workshop on the Integration of SAT and CP techniques.

  5. Q. Yang, J. Sun, J. Zhang, C. Wang: A Hybrid Particle Swarm Optimization for Binary CSPs. International Conference on Intelligent Computing (ICIC) 2006: 39-49.

  6. Q. Yang, J. Sun, J. Zhang, C. Wang: A Hybrid Discrete Particle Swarm Algorithm for Hard Binary CSPs. Advances in Natural Computation, Second International Conference (ICNC) 2006: 184-193.

  7. D. Mehta and M.R.C. van Dongen. Static value ordering heuristics for constraint satisfaction problems. Proceedings of CPAI'05 workshop held with CP'05, pages 49–62, 2005.


Back to  Page of CSP Benchmarks

Back to Ke Xu's Homepage.