Neighbourhood clause weight redistribution in local search for SAT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3709 LNCS, Issue , 2005, Pages 772-776

  Ishtaiwi, Abdelraouf ^a   Thornton, John ^a   Sattar, Abdul ^a   Pham, Duc Nghia ^a  

^a Institute for Integrated and Intelligent Systems   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK PROBLEMS; CLAUSE WEIGHTING ALGORITHMS; DIVIDE AND DISTRIBUTE FIXED WEIGHTS (DDFW); DYNAMIC LOCAL SEARCH (DLS);

BOUNDARY CONDITIONS; COMPUTER SCIENCE; HEURISTIC METHODS; OPTIMIZATION; PROBLEM SOLVING;

ALGORITHMS;

EID: 33646204636     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11564751_62     Document Type: Conference Paper

References (12)

1. Hoos, H., Stulze, T.: Stochastic Local Search. Morgan Kaufmann, Cambridge, Massachusetts (2005)
2. Morris, P.: The Breakout method for escaping from local minima. In: Proceedings of 11th AAAI. (1993) 40-45
3. Cha, B., Iwama, K.: Adding new clauses for faster local search. In: Proceedings of 13th AAAI. (1996) 332-337
4. Frank, J.: Learning short-term clause weights for GSAT. In: Proceedings of 15th IJCAI. (1997) 384-389
5. McAllester, D., Selman, B., Kautz, H.: Evidence for invariants in local search. In: Proceedings of 14th AAAI. (1997) 321-326
6. Wu, Z., Wah, B.: An efficient global-search strategy in discrete Lagrangian methods for solving hard satisfiability problems. In: Proceedings of 17th AAAI. (2000) 310-315
7. Schuurmans, D., Southey, F.: Local search characteristics of incomplete SAT procedures. In: Proceedings of 10th AAAI. (2000) 297-302
8. Hutter, F., Tompkins, D., Hoos, H.: Scaling and Probabilistic Smoothing: Efficient dynamic local search for SAT. In: Proceedings of 8th CP. (2002) 233-248
9. Thornton, J., Pham, D., Bain, S., Ferreira Jr., V.: Additive versus multiplicative clause weighting for SAT. In: Proceedings of 19th AAAI. (2004) 191-196
10. Hoos, H.H.: An adaptive noise mechanism for Walksat. In: Proceedings of 19th AAAI. (2002) 655-660
11. Schuurmans, D., Southey, P., Holte, R.: The exponentiated subgradient algorithm for heuristic boolean programming. In: Proceedings of 17th IJCAI. (2001) 334-341
12. Pullan, W., Zhao, L.: Resolvent clause weighting local search. In: Proceedings of 17th Canadian AI. (2004) 233-247