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 |
| Date Available | 2007-09-26T06:03:25Z |
| 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 |
Please use this identifier to cite this record: http://hdl.handle.net/10072/2133
Griffith University copyright notice
Copyright in individual works within the repository belongs to their authors or publishers. You may make a print or digital copy of a work for your personal non-commercial use. All other rights are reserved, except for fair dealings or other user rights granted by the copyright laws of your country.
Footer information
Back to top