# Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results

@inproceedings{Baker1995IntelligentBO, title={Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results}, author={Andrew B. Baker}, year={1995} }

The Constraint Satisfaction Problem is a type of combinatorial search problem of much interest in Artificial Intelligence and Operations Research. The simplest algorithm for solving such a problem is chronological backtracking, but this method suffers from a malady known as "thrashing," in which essentially the same subproblems end up being solved repeatedly. Intelligent backtracking algorithms, such as backjumping and dependency-directed backtracking, were designed to address this difficulty…

No Paper Link Available

## 94 Citations

Backtracking Search Algorithms

- Computer ScienceHandbook of Constraint Programming
- 2006

A Uniform View of Backtracking

- Computer Science
- 2007

It is demonstrated that different backtracking algorithms can be categorized by the manner in which they discover, use, and store for future use, no-goods.

Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems

- Computer ScienceAustralian Joint Conference on Artificial Intelligence
- 1997

The existing DB caching scheme is briefly analysed from this perspective and two new improved caching algorithms are suggested that outperform dynamic backtrackinq in the multiaqent context.

Investigations into Satisfiability Search

- Computer Science, Business
- 2004

The logical foundations of the backtracking mechanism are explored alongside formulations for reasoning in relevant logics which results in the development of a malleable back tracking mechanism that subsumes other intelligent backtracking proof construction techniques and allows the incorporation of proof rearrangement strategies.

Constraint satisfaction problem using modified branch and bound algorithm

- Business
- 2008

A constraint satisfaction problem (CSP) involves assigning possible values to a set of variables without defying any constraints. There are various techniques available to solve or give partial…

Phase transition behaviour in constraint satisfaction problems

- Computer Science
- 1997

It is shown that the phase transition paradigm can be applied to two tasks of polynomial cost complexity: attempting to establish arc and path consistency in a CSP and attempting to select the variable to instantiate at each stage in the search process.

Backjump-based backtracking for constraint satisfaction problems

- Computer ScienceArtif. Intell.
- 2002

Modified branch and bound algorithm

- Business
- 2007

There are various techniques available to solve or give partial solution to constraint satisfaction problem. This paper presents a modification of branch and bound algorithm, which is used to solve a…

Backtracking algorithms for service selection

- Computer ScienceArXiv
- 2014

It is shown that the service selection problem can be mapped onto a Constraint Satisfaction Problem (CSP) and the benefit of this mapping is that the large know-how in the resolution of the CSP can be used for theservice selection problem.

## References

SHOWING 1-10 OF 101 REFERENCES

Intelligent Backtracking on the Hardest Constraint Problems

- Computer Science
- 1995

This paper shows that outliers in the sparse region are not fundamentally diicult problems, and are easily handled by more sophisticated search strategies such as backjumping and dependency-directed backtracking.

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems

- Computer Science, BusinessAAAI
- 1994

It is found that scheduling problems bear fairly little resemblance to the previously studied hard randomly generated 3SAT problems, and the domain-specific heuristics developed to solve scheduling problems make surprisingly little difference in the time required to solve the problems.

Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method

- BusinessAAAI
- 1990

A theoretical analysis is presented to explain why the heuristic method for solving large-scale constraint satisfaction and scheduling problems works so well on certain types of problems and to predict when it is likely to be most effective.

Increasing Tree Search Efficiency for Constraint Satisfaction Problems

- Computer ScienceArtif. Intell.
- 1980

Algorithms for Constraint-Satisfaction Problems: A Survey

- Computer ScienceAI Mag.
- 1992

A large number of problems in AI and other areas of computer science can be viewed as special cases of the constraint-satisfaction problem, and a number of different approaches have been developed for solving them.

A Sufficient Condition for Backtrack-Free Search

- BusinessJACM
- 1982

A relationship involving the structure of the constraints is described which characterizes to some degree the extreme case of mimmum backtracking and a concept called "width," which may provide some guidance in the representation of constraint satisfaction problems and the order in which they are searched.

Solving Combinatorial Search Problems by Intelligent Backtracking

- Computer Science, MathematicsInf. Process. Lett.
- 1981