CSP at Haifa Research Lab

1. "Assumption-based pruning in conditional CSP",
   F. Geller and M. Veksler, in van Beek, P., ed., CP, volume 3709 of Lecture Notes in Computer Science, 241–255 © Springer-Verlag.
   
   
2. "Using constraint satisfaction formulations and solution techniques for random test program generation",
   E. Bin, R. Emek, G. Shurek, and A. Ziv, IBM Systems Journal, 41, 2002.
   
   
3. "Generating random solutions for constraint satisfaction problems",
   R. Dechter, K. Kask, E. Bin, and R. Emek, Proceedings of AAAI'02.
   
   
4. "Stochastic solver for constraint satisfaction problems with learning of high-level characteristics of the problem topography",
   Y. Naveh, Proceedings of LSCS'04.
   
   

Additional publications specific to tools

• FPGen
• Piparazzi
• Genesys-Pro
• X-Gen