Longer-Term Memory in Clause Weighting Local Search for SAT

Thumbnail
View/Open
Author(s)
Ferreira Junior, Valnir
Thornton, John
Griffith University Author(s)
Year published
2004
Metadata
Show full item record
Conference Title
AI 2004: Advances in Artificial Intelligence
Publisher URI
Copyright Statement
© 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
Publication URI
Collection