In this paper, an efficient recursive construction algorithm based on the backtracking search algorithm is presented for the construction of accurate implication sets. The new techniques suggested improve the time and space complexities of the backtracking search algorithm dramatically.

In recent years, many improvements to backtracking algorithms for solving constraint satisfaction problems have been proposed. The techniques for improving backtracking algorithms can be conveniently classiied as look-ahead schemes and look-back schemes. Unfortunately , look-ahead and look-back schemes are not entirely orthogonal as it has been observed empirically that the enhancement of look-...

Consider an infinite binary search tree in which the branches have independent random costs. Suppose that we must find an optimal (cheapest) or nearly optimal path from the root to a node at depth n. Karp and Pearl [1983] show that a bounded-lookahead backtracking algorithm A2 usually finds a nearly optimal path in linear expected time (when the costs take only the values 0 or 1). From this suc...

This paper presents a method for intelligent backtracking in CLP(<). Our method integrates a depth-rst intelligent backtracking algorithm developed for logic programming with an original constraint satisfaction algorithm which naturally generates sets of connicting constraints. We prove that if CLP(<) is assumed to cover strictly the domain of real numbers, then the constraint satisfaction algo...

Warehouse is one of the important aspects of a company. Therefore, it is necessary to improve Warehouse Management System (WMS) to have a simple function that can determine the layout of the storage goods. In this paper we propose an improved warehouse layout method based on ant colony algorithm and backtracking algorithm. The method works on two steps. First, it generates a solutions parameter...

This paper presents a method for intelligent backtracking in CLP Our method integrates a depth rst intelligent backtracking algorithm developed for logic programming with an original constraint satisfaction algorithm which naturally generates sets of con icting constraints We prove that if CLP is assumed to cover strictly the domain of real numbers then the constraint satisfaction algorithm pro...

Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent parser. The parser does not require a separate lexer, and backtracking removes the usual LL(1) constraint. This is convenient for many applications, but there are two problems: PEG is not well understood as a language ...