Tie Breaking in Clause Weighting Local Search for SAT - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Valnir Ferreira Jr., John Thornton. Tie Breaking in Clause Weighting Local Search for SAT. In Shichao Zhang, Ray Jarvis, editors, AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings. Volume 3809 of Lecture Notes in Computer Science, pages 70-81, Springer, 2005. [doi]

The following publications are possibly variants of this publication:

Clause Weighting Local Search for SATJohn Thornton. JAR, 35(1-3):97-142, 2005. [doi]

Longer-Term Memory in Clause Weighting Local Search for SATValnir Ferreira Jr., John Thornton. ausai 2004: 730-741 [doi]

Estimating Problem Metrics for SAT Clause Weighting Local SearchWayne J. Pullan, Liang Zhao, John Thornton. ausai 2003: 137-149 [doi]

runs on WebDSL