Corpus ID: 8476465

An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems

@inproceedings{Wu2000AnEG,
  title={An Efficient Global-Search Strategy in Discrete Lagrangian Methods for Solving Hard Satisfiability Problems},
  author={Zhe Wu and B. Wah},
  booktitle={AAAI/IAAI},
  year={2000}
}
In this paper, we present an efficient global-search strategy in an algorithm based on the theory of discrete Lagrange multipliers for solving difficult SAT instances. These difficult benchmarks generally have many traps and basins that attract local-search trajectories. In contrast to trapescaping strategies proposed earlier (Wu & Wah 1999a; 1999b) that only focus on traps, we propose a global-search strategy that penalizes a search for visiting points close to points visited before in the… Expand
Another Complete Local Search Method for SAT
Local Search Methods
  • H. Hoos, E. Tsang
  • Computer Science, Mathematics
  • Handbook of Constraint Programming
  • 2006
The island confinement method for reducing search space in local search methods
Speeding up the ESG Algorithm
Treating Some Constraints as Hard Speeds up the ESG Local Search Algorithm
Local search characteristics of incomplete SAT procedures
A New Local Search Strategy for SAT
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 26 REFERENCES
A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems
A Lagrangian reconstruction of a class of local search methods
Solving hard satisfiability problems: a unified algorithm based on discrete Lagrange multipliers
  • Zhe Wu, B. Wah
  • Computer Science
  • Proceedings 11th International Conference on Tools with Artificial Intelligence
  • 1999
The Breakout Method for Escaping from Local Minima
Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem
Local search strategies for satisfiability testing
Tabu Search - Part I
  • F. Glover
  • Computer Science
  • INFORMS J. Comput.
  • 1989
Local search for satisfiability (SAT) problem
  • J. Gu
  • Mathematics, Computer Science
  • IEEE Trans. Syst. Man Cybern.
  • 1993
...
1
2
3
...