Xu, Hong; Kumar, T. K. Satish; Koenig, Sven (2017). "The Nemhauser-Trotter reduction and lifted message passing for the weighted CSP". Proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Lecture Notes in Computer Science book series. Vol.10335. Springer. pp.387–402. doi:10.1007/978-3-319-59776-8_31. ISBN978-3-319-59776-8.
Xu, Hong; Koenig, Sven; Kumar, T. K. Satish (2017). "A constraint composite graph-based ILP encoding of the Boolean weighted CSP". Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP). Lecture Notes in Computer Science book series. Vol.10416. Springer. pp.630–8. doi:10.1007/978-3-319-66158-2_40. ISBN978-3-319-66158-2.