Backward Pair Sharing Analysis

Lunjin Lu, Andy King. Backward Pair Sharing Analysis. In Yukiyoshi Kameyama, Peter J. Stuckey, editors, Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Volume 2998 of Lecture Notes in Computer Science, pages 132-146, Springer, 2004. [doi]

Abstract

Abstract is missing.