Longer-Term Memory in Clause Weighting Local Search for SAT

Loading...
Thumbnail Image
File version
Author(s)
Ferreira Junior, Valnir
Thornton, John
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Geoffrey I. Webb, Xinghuo Yu

Date
2004
Size

224122 bytes

File type(s)

application/pdf

Location

Cairns, Australia

License
Journal Title
Conference Title

AI 2004: Advances in Artificial Intelligence

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights 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

Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation