Constraint Solving over OCR Graphs

Andreas Fordan. Constraint Solving over OCR Graphs. In Oskar Bartenstein, Ulrich Geske, Markus Hannebauer, Osama Yoshie, editors, Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers. Volume 2543 of Lecture Notes in Computer Science, pages 205-216, Springer, 2001. [doi]

Abstract

Abstract is missing.