Corpus ID: 6859935

Local Search and Backtracking vs Non-Systematic Backtracking

@inproceedings{Prestwich2001LocalSA,
  title={Local Search and Backtracking vs Non-Systematic Backtracking},
  author={S. Prestwich},
  year={2001}
}
This paper addresses the following question: what is the essential difference between stochastic local search (LS) and systematic backtracking (BT) that gives LS superior sealability? One possibility is LS’s lack of firm commitment to any variable assignment. Three BT algorithms are modified to have this feature by introducing randomness into the choice of backtracking variable: a forward checker for n-queens, the DSATUR graph colouring algorithm, and a Davis-Logemann-Loveland procedure for… Expand
41 Citations

Figures from this paper

Randomised Backtracking for Linear Pseudo-Boolean Constraint Problems
  • 36
A Hybrid Schema for Systematic Local Search
  • 16
  • PDF
Augmenting Local Search for Satisfiability
Bounds-Consistent Local Search
  • 1
  • PDF
UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination
  • 38
  • Highly Influenced
Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination
  • 19
Incomplete Algorithms
  • 32
  • PDF
A Decision-Making Procedure for Resolution-Based SAT-Solvers
  • 14
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 167 REFERENCES
Using an Incomplete Version of Dynamic Backtracking for Graph Colouring
  • S. Prestwich
  • Mathematics, Computer Science
  • Electron. Notes Discret. Math.
  • 1999
  • 10
GSAT and Dynamic Backtracking
  • 108
  • PDF
Nonsystematic backtracking search
  • 101
  • Highly Influential
Combining Local Search and Backtracking Techniques for Constraint Satisfaction
  • 47
Dynamic Backtracking
  • 561
  • PDF
The Hazards of Fancy Backtracking
  • 65
  • PDF
HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM
  • P. Prosser
  • Mathematics, Computer Science
  • Comput. Intell.
  • 1993
  • 692
  • PDF
Local Search and the Number of Solutions
  • 100
  • PDF
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems
  • 65
  • PDF
Systematic and nonsystematic search strategies
  • 118
...
1
2
3
4
5
...