Evolving variable-ordering heuristics for constrained optimisation

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

Volumn 3709 LNCS, Issue , 2005, Pages 732-736

  Bain, Stuart ^a   Thornton, John ^a   Sattar, Abdul ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; EVOLUTIONARY ALGORITHMS; HEURISTIC METHODS; OPTIMIZATION; PROBLEM SOLVING;

CONSTRAINED OPTIMISATION; CONSTRAINT SATISFACTION ALGORITHMS; OPTIMISATION PROBLEMS;

CONSTRAINT THEORY;

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

References (8)

1. Borchers, B., Furman, J.: A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems. Journal of Combinatorial Optimization 2 (1999) 299-306
2. Xing, Z., Zhang, W.: Efficient strategies for (weighted) maximum satisfiability. In: CP '04: Principles and Practice of Constraint Programming. (2004) 690-705
3. Wolpert, D.H., Macready, W.G.: No free lunch theorems for optimization. IEEE Transactions on Evolutionary Computation 1 (1997) 67-82
4. Minton, S.: Automatically configuring constraint satisfaction programs: A case study. Constraints 1 (1996) 7-43
5. Epstein, S.L., Freuder, E.C., Wallace, R., Morozov, A., Samuels, B.: The adaptive constraint engine. In: CP '02 Principles and Practice of Constraint Programming. (2002) 525-540
6. Fukunaga, A.: Automated discovery of composite SAT variable-selection heuristics. In: AAAI'02, Canada (2002) 641-648
7. Koza, J.: Genetic Programming: On the programming of computers by means of natural selection. MIT Press, Cambridge, Massachusetts (1992)
8. Zhang, H., Stickel, M.: Implementing the Davis-Putnam method. Journal of Automated Reasoning 24 (2000) 277-296