Author of the publication

Estimating Problem Metrics for SAT Clause Weighting Local Search.

, , and . Australian Conference on Artificial Intelligence, volume 2903 of Lecture Notes in Computer Science, page 137-149. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Estimating Problem Metrics for SAT Clause Weighting Local Search., , and . Australian Conference on Artificial Intelligence, volume 2903 of Lecture Notes in Computer Science, page 137-149. Springer, (2003)Matching Stochastic Algorithms to Objective Function Landscapes., , , , , and . J. Glob. Optim., 31 (4): 579-598 (2005)A population based hybrid meta-heuristic for the uncapacitated facility location problem.. GEC Summit, page 475-482. ACM, (2009)Energy minimization of mixed argon-xenon microclusters using a genetic algorithm.. J. Comput. Chem., 18 (8): 1096-1111 (1997)Towards Fewer Parameters for SAT Clause Weighting Algorithms., , and . Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 569-578. Springer, (2002)Protein Structure Alignment Using Maximum Cliques and Local Search.. Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, page 776-780. Springer, (2007)An unbiased population-based search for the geometry optimization of Lennard-Jones clusters: 2 leq N leq 372.. J. Comput. Chem., 26 (9): 899-906 (2005)An Investigation of Variable Relationships in 3-SAT Problems., , , and . Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 579-590. Springer, (2002)A population based hybrid metaheuristic for the p-median problem.. IEEE Congress on Evolutionary Computation, page 75-82. IEEE, (2008)Resolvent Clause Weighting Local Search., and . Canadian AI, volume 3060 of Lecture Notes in Computer Science, page 233-247. Springer, (2004)