Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism

Donald A. Smith. Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. In ICLP. pages 33-47, 1994. [doi]

Abstract

Abstract is missing.