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

A Local Search Approach to Modelling and Solving Interval Algebra Problems., , , and . J. Log. Comput., 14 (1): 93-112 (2004)Distal dendrite feedback in hierarchical temporal memory., and . IJCNN, page 1-8. IEEE, (2015)Spatial pooling for greyscale images., and . Int. J. Machine Learning & Cybernetics, 4 (3): 207-216 (2013)Converting from a DEC system-10 to VAX.. SIGUCCS, page 169-172. ACM, (1987)Combining Adaptive and Dynamic Local Search for Satisfiability., , , and . J. Satisf. Boolean Model. Comput., 4 (2-4): 149-172 (2008)Improving the system capacity of broadband services using multiple high-altitude platforms., , , , and . IEEE Trans. Wirel. Commun., 4 (2): 700-709 (2005)Clause Weighting Local Search for SAT.. J. Autom. Reason., 35 (1-3): 97-142 (2005)Effect of Antenna Beam Pattern and Layout on Cellular Performance in High Altitude Platform Communications., , , , , and . Wirel. Pers. Commun., 35 (1-2): 35-51 (2005)Adaptive Clause Weight Redistribution., , , , and . CP, volume 4204 of Lecture Notes in Computer Science, page 229-243. Springer, (2006)Weight Redistribution for Unweighted MAX-SAT., , and . Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, page 687-693. Springer, (2007)