Longer-Term Memory in Clause Weighting Local Search for SAT

File Size Format
27725.pdf 218Kb Adobe PDF View
Title Longer-Term Memory in Clause Weighting Local Search for SAT
Author Ferreira, Valnir; Thornton, John
Publication Title AI 2004: Advances in Artificial Intelligence
Editor Geoffrey I. Webb, Xinghuo Yu
Year Published 2004
Publisher Springer
Peer Reviewed Yes
Published Yes
Publisher URI http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-22-36983370-0
Copyright Statement Copyright 2004 Springer-Verlag. 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 Conference Publications (Full Written Paper - Refereed)

Full Record

Griffith University copyright notice