Adaptive Solving of Equations over Rational Trees

Principles and Practice of Constraint Programming — CP98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49481-2_46 ◽

1998 ◽

pp. 475-475 ◽

Author(s):

Armin Wolf

Download Full-text