Using Cost Distributions to Guide Weight Decay in Local Search for SAT

File Size Format
54235_1.pdf 193Kb Adobe PDF View
Title Using Cost Distributions to Guide Weight Decay in Local Search for SAT
Author Thornton, John Richard; Pham, Duc Nghia
Publication Title PRICAI 2008: Trends in Artificial Intelligence
Editor Tu-Bao Ho and Zhi-Hua Zhou
Year Published 2008
Publisher Springer
Peer Reviewed Yes
Published Yes
Publisher URI http://www.jaist.ac.jp/PRICAI-08/
Alternative URI http://dx.doi.org/10.1007/978-3-540-89197-0_38
Copyright Statement Copyright 2008 Springer. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice