Clause Weighting Local Search for SAT

File Size Format
40707.pdf 247Kb Adobe PDF View
Title Clause Weighting Local Search for SAT
Author Thornton, John
Editor Deepak Kapur
Year Published 2006
Publisher Springer
Citation Journal of Automated Reasoning, Vol. 35, pp. 97-142
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/s10817-005-9010-1
Copyright Statement Copyright 2006 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 Engineering and Information Technology
Publication Type Journal Articles (Refereed Article)

Full Record

Griffith University copyright notice