Advances in local search for satisfiability

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

Volumn 4830 LNAI, Issue , 2007, Pages 213-222

  Pham, Duc Nghia ^a   Thornton, John ^a   Gretton, Charles ^a   Sattar, Abdul ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPETITION; HEURISTIC ALGORITHMS; STOCHASTIC MODELS;

DYNAMIC LOCAL SEARCH (DLS); STOCHASTIC LOCAL SEARCH (SLS) PROCEDURE; STRUCTURED SATISFIABILITY;

STOCHASTIC PROGRAMMING;

EID: 38349060079     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76928-6_23     Document Type: Conference Paper

References (12)

1. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Communications of the ACM 5(7), 394-397 (1962)
2. Selman, B., Levesque, H., Mitchell, D.: A new method for solving hard satisfiability problems. Proceedings of AAAI 1992, 440-446 (1992)
3. McAllester, D.A., Selman, B., Kautz, H.A.: Evidence for invariants in local search. In: Proceedings of AAAI 1997, pp. 321-326 (1997)
4. Morris, P.: The Breakout method for escaping from local minima. In: Proceedings of AAAI 1993, pp. 40-45 (1993)
5. Anbulagan, P.D.N., Slaney, J., Sattar, A.: Old resolution meets modern SLS. In: Proceedings of AAAI 2005, pp. 354-359 (2005)
6. Li, C.M., Huang, W.Q.: Diversification and determinism in local search for satisfiability. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol. 3569, pp. 158-172. Springer, Heidelberg (2005)
7. Hoos, H.H.: On the run-time behaviour of stochastic local search algorithms for SAT. In: Proceedings of AAAI 1999, pp. 661-666 (1999)
8. Hoos, H.H.: An adaptive noise mechanism for WalkSAT. In: Proceedings of AAAI 2002, pp. 635-660 (2002)
9. Hutter, F., Tompkins, D.A., Hoos, H.H.: Scaling and probabilistic smoothing: Efficient dynamic local search for SAT. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 233-248. Springer, Heidelberg (2002)
10. Thornton, J.R.: Clause weighting local search for SAT. Journal of Automated Reasoning 35(1-3), 97-142 (2005)
11. Li, C.M., Wei, W., Zhang, H.: Combining adaptive noise and look-ahead in local search for SAT. In: Proceedings of LSCS 2006 Workshop, pp. 2-16 (2006)
12. Hutter, F., Hamadi, Y., Hoos, H.H., Leyton-Brown, K.: Performance prediction and automated tuning of randomized and parametric algorithms. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 213-228. Springer, Heidelberg (2006)