Chendong Li, Jiayin Wang, Yichen Liu. Novel Collaborative Constraints Solving Techniques - Case Studies on Synchronizing a MIP Solver and a CP Solver. In Hamid R. Arabnia, George A. Gravvanis, Louis D Alotto, James Nystrom, Ashu M. G. Solo, William Spataro, Emre Tokgoz, editors, Proceedings of the 2010 International Conference on Scientific Computing, CSC 2010, July 12-15, 2010, Las Vegas, Nevada, USA. pages 339-342, CSREA Press, 2010.
Abstract is missing.