Neighbourhood Clause Weight Redistribution in Local Search for SAT

Thumbnail
View/Open
Author(s)
Ishtaiwi, A
Thornton, J
Sattar, A
Pham, DN
Griffith University Author(s)
Year published
2005
Metadata
Show full item record
Conference Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume
3709 LNCS
Publisher URI
Copyright 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
Publication URI
Collection