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.
@inproceedings{LiWL10-3,
title = {Novel Collaborative Constraints Solving Techniques - Case Studies on Synchronizing a MIP Solver and a CP Solver},
author = {Chendong Li and Jiayin Wang and Yichen Liu},
year = {2010},
tags = {synchronization, case study, constraints},
researchr = {https://researchr.org/publication/LiWL10-3},
cites = {0},
citedby = {0},
pages = {339-342},
booktitle = {Proceedings of the 2010 International Conference on Scientific Computing, CSC 2010, July 12-15, 2010, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia and George A. Gravvanis and Louis D Alotto and James Nystrom and Ashu M. G. Solo and William Spataro and Emre Tokgoz},
publisher = {CSREA Press},
isbn = {1-60132-137-6},
}