Neighbourhood Clause Weight Redistribution in Local Search for SAT.

Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham

Browse the full CP paper archive.