Jun Yan, Jian Zhang, Zhongxing Xu. Finding Relations Among Linear Constraints. In Jacques Calmet, Tetsuo Ida, Dongming Wang, editors, Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Volume 4120 of Lecture Notes in Computer Science, pages 226-240, Springer, 2006. [doi]
Abstract is missing.