Neighbourhood Clause Weight Redistribution in Local Search for SAT

File Size Format
31968.pdf 69Kb Adobe PDF View
Title Neighbourhood Clause Weight Redistribution in Local Search for SAT
Author Ishtaiwi, Abdelraouf; Thornton, John; Sattar, Abdul; Pham, Duc Nghia
Publication Title Principles and Practice of Constraint Programming - CP 2005
Editor Peter van Beek
Year Published 2005
Place of publication Heidelberg, Germany
Publisher Springer
Peer Reviewed Yes
Published Yes
Publisher URI http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-22-80113858-0
Copyright Statement Copyright 2005 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
ISBN 3540292381
Conference name 11th International Conference on the Principles and Practice of Constraint Programming
Location Sitges, Spain
Date From 2005-10-01
Date To 2005-10-05
URI http://hdl.handle.net/10072/2593
Date Accessioned 2006-03-15
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