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
Place of publication Germany
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
ISBN 3-540-24059-4
Conference name 17th Australian Joint Conference on Artificial Intelligence
Location Cairns, Australia
Date From 2004-12-04
Date To 2004-12-06
URI http://hdl.handle.net/10072/2133
Date Accessioned 2005-03-29
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice