Neighbourhood Clause Weight Redistribution in Local Search for SAT
Conference Title
Principles and Practice of Constraint Programming - CP 2005
Copyright Statement
Copyright 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