Neighbourhood Clause Weight Redistribution in Local Search for SAT
Loading...
Files
File version
Author(s)
Ishtaiwi, A
Thornton, J
Sattar, A
Pham, DN
Thornton, J
Sattar, A
Pham, DN
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Peter van Beek
Date
2005
Size
71286 bytes
File type(s)
application/pdf
Location
Sitges, Spain
License
Journal Title
Conference Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Book Title
Edition
Volume
3709 LNCS
Issue
Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 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