Using Cost Distributions to Guide Weight Decay in Local Search for SAT.

John Thornton, Duc Nghia Pham

Browse the full PRICAI paper archive.