An Interpolation Method for CLP Traversal

Abstract

We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate exploration. Typically, only actually traversed goals are memoed in the table. In this paper we present a method where, upon the successful traversal of a subgoal, a generalization of the… (More)
DOI: 10.1007/978-3-642-04244-7_37

Topics

10 Figures and Tables

Statistics

0510152009201020112012201320142015201620172018
Citations per Year

74 Citations

Semantic Scholar estimates that this publication has 74 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics