Inproceedings,

Novel Collaborative Constraints Solving Techniques - Case Studies on Synchronizing a MIP Solver and a CP Solver.

, , and .
CSC, page 339-342. CSREA Press, (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews